small reminder about pushing to GitHub