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

2018-10-20 09:59:06 +03:00

1.5 KiB

Raw Blame History

View Raw