Closed xhochy closed 4 years ago
I will add it myself against the develop branch.
Note that you can change the branch against which PRs are made in the Github settings ;)
You mean by setting the default branch? But then also the front page will point to the develop branch. And since I'm kinda abusing github as my documentation that would be annoying to users. (That was the old state, where released features and documented features were not in sync.)
Good news. GH still counts you as a contributor. So at least credit gets assigned :)
Thanks a lot :)