merge: push to GitHub too