1 Commits (d5d847e5c4f0cf1470fc51f96d57917e4d9f5d83)

Author SHA1 Message Date
Julien Tant dea3d849e1 Give user a link to create PR after push (#4716)
* Give user a link to create PR after push

* Forks now create PR in the base repository + make sure PR creation is allowed

* fix code style
6 years ago