Skip to content

Import pull requests from GitHub where the source/target branch was removed

username-removed-283999 requested to merge gh-pull-requests into master

Closes #15355 (closed)

/cc @stanhu @DouweM @rspeicher @dzaporozhets @balameb

Todo

  • Import PRs from GitHub where the source branch was removed
  • Import PRs from GitHub where the target branch was removed
  • Preserve diff/commits for PRs that were merged on GitHub
  • Import comments for PRs that were merged on GitHub
  • Fix the line code when importing PR review comments from GitHub !4010 (merged)
  • Test with GitHub Enterprise Edition

Merge request reports