1 Commits (13c0f7dfffc99c58c1c53f3bc0c6eaf17c3860f8)

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	2018-10-20 09:59:06 +03:00