Mariatta's GitHub Bot Requires Python 3.6 Features Delete the branch whenever my own PR has been merged.