https://ideas.creativecasinoties.com/post/tidying-up-after-pull-requests-y5w9fi