Write access to the repo?

[jbbarth]

@ybastide @dauving I'd like to be granted "Write" access to the repo, so I can push my branches directly to this repository (instead of my fork) and thus stack my PRs on top of each other.

Why?

• with #423 I'm at 3 PRs with 39 commits, and I'm about to add 2 more PRs on top of that (one fix, one feature request). It's becoming challenging to manage locally, and it hurts the review process I believe (using stacked PRs would solve that)
• additionally, I'd like to work on the release process so we restore proper Github releases ; my coworkers looked at the repo and told me the last release was from 2015 so the code was unmaintained, so I had to make them look closer 🙈

The associated permissions are here. Basically it's write access with no admin permission over the repo.

This includes "merging branches", but you tell me if I'm allowed to do that or not. If I'm not, I won't do it. If you trust me, I will use this privilege, but ofc won't abuse.

Wdyt dear?

[ewjoachim]

(Note: we can give you write access without merging rights, by specifying who can merge to the master branch, from the branch protection settings)

[jbbarth]

Done by @dauving