delete remote commit
By Ralph Corwin at Apr 29 2021
git delete last commit in remote
By Olivia Prohaska at Jul 01 2020