zeripathandGitHub 797e6f8f4c PRs: Move to use a temporary repo for pushing new prs (#10009) ...

* Move to use a temporary repo for pushing new prs

2020-01-28 10:23:58 +00:00

..

comments

…

externalaccount

…

gitdiff

Some refactor on git diff and ignore getting commit information failed on migrating pull request review comments (#9996)

2020-01-28 08:02:03 +00:00

issue

…

mailer

Switch to use -f instead of -F for sendmail (#9961)

2020-01-24 22:59:39 +00:00

mirror

…

pull

PRs: Move to use a temporary repo for pushing new prs (#10009)

2020-01-28 10:23:58 +00:00

release

…

repository

Fix pull view when head repository or head branch missed and close related pull requests when delete head repository or head branch (#9927)

2020-01-25 10:48:22 +08:00

wiki

…