Closed marsam closed 4 months ago
Unsure why I'm not getting shown the option to merge this. Just seeing:
You do not appear to have write access to this repository.
Huh, okay. An oversight, @remi-gelinas ?
Odd.... Triage
was the permission default set on the team for the repo. Since it says it can "manage pull requests", I assumed that was sufficient for merging. Weird - I've bumped it to Write
for the teams. Can you confirm if you can merge the PR now @purcell ?
Yes, worked great, thanks! (Also merged #31)
The GitHub permission scheme is a bit confusing tbh, between team permissions, org permissions and individual repositories.
This was a mistakenly introduced by 3e496e8, adding the "2" flag into the comment syntax entry, caused to Emacs consider the
//
operator as a comment sequence: