hint: Updates were rejected because a pushed branch tip is behind its remote github code example

Example: Updates were rejected because a pushed branch tip is behind its remote

// if this don't work
git pull origin FixForBug
git push origin FixForBug
// then, do this:
git push -f origin FixForBug