Closed mhesselbarth closed 2 years ago
@mhesselbarth if you make your first comment "Fix #100", merging the PR will automatically close the issue. See https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue#linking-a-pull-request-to-an-issue-using-a-keyword (I was also told about this in a PR :grin: )
Oh wow, didn't know that but thats really cool! Thanks for letting me know
And it'll work if you edit the comment now! :magic_wand:
Also, for PR that aren't ready yet, instead of writing "Maybe fix" (very tempting sometimes :sweat_smile: ) one can use "Draft pull requests" see https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/about-pull-requests#draft-pull-requests and https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/changing-the-stage-of-a-pull-request
Fix #100