Trying to recreate some intermittent issues when deleting lots of branches on GitHub. Use with caution.