zeripath 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
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