You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

zeripath 797e6f8f4c PRs: Move to use a temporary repo for pushing new prs (#10009) ... * Move to use a temporary repo for pushing new prs		6 years ago
..
comments	…
externalaccount	…
gitdiff	Some refactor on git diff and ignore getting commit information failed on migrating pull request review comments (#9996)	6 years ago
issue	…
mailer	…
mirror	…
pull	PRs: Move to use a temporary repo for pushing new prs (#10009)	6 years ago
release	…
repository	…
wiki	…