make upload-to-ppa also pushes to GitHub