a demonstration that I can't push to github if I use --allow-empty.