13 lines (9 loc) · 383 Bytes

layout	page

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