Il giorno gio 4 dic 2014 alle 8:00, Glen Larsen <> ha scritto:
These instructions are modifying an inactive pull request. Looking at the first section about modifying an active pull request locally it mentions following commands given at the bottom of a pull request.

Right, but only collaborators can merge a pull request through github.
On the bottom of any pull request I can see only:

This pull request can be automatically merged by project collaborators.

Only those with write access to this repository can merge pull requests.

Mutopia-discuss mailing list

Reply via email to