Skip to content

Allow push on behalf of others for contributors

Update to existing PR to add fixes suggested by Mikael in previous PR (#12).

Merge request reports