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
..
2018-10-19 14:54:26 -04:00
2017-10-26 08:49:16 +08:00
2018-01-31 00:09:16 +02:00
2018-07-19 11:39:19 -04:00
2017-09-19 11:08:30 +03:00
2017-11-13 22:51:45 +08:00
2018-03-16 22:04:33 +08:00