Re:So, I went down the rabbit hole of buying GitHub Stars, s...
by w4rh4wk5 on Thursday June 01, 2023 @11:11AM
(#36152213)
Just in case you don't already know this: the wiki is just another Git repo that can be cloned (and even pushed to).
[ Parent
| on HN ]
Re:So, I went down the rabbit hole of buying GitHub Stars, s...
by robertlagrant on Thursday June 01, 2023 @11:23AM
(#36152423)
I didn't know that. That's cool.
Re:So, I went down the rabbit hole of buying GitHub Stars, s...
by candiddevmike on Thursday June 01, 2023 @11:24AM
(#36152463)
It's pretty annoying personally IMO. You should be able to point the Wiki tab to a folder in the main repo instead of having to maintain two different repos.
Re:So, I went down the rabbit hole of buying GitHub Stars, s...
by robertlagrant on Thursday June 01, 2023 @11:50AM
(#36152863)
I see; I suppose not being able to make a single commit that updates the wiki and codebase at the same time is a bit annoying. I'm just pleased it's Git at all!
Re:So, I went down the rabbit hole of buying GitHub Stars, s...
by sixstringtheory on Thursday June 01, 2023 @11:56AM
(#36152975)
And it would be nice to have the branch/PR workflows for them. Better to just use a docs/ or wiki/ folder since markdown files are rendered.