GitHub

Contribution

Fork, create PR, and merged. Then,

  • Deleting forked repositories will erase history from your Pull Requests.
  • However, deleting old branches after a merge is perfectly safe.
  • Related Article: StackOverflow