Travis CI examples

Quick examples of Travis-CI – a system that runs your self-test on each git push. It can save you from hard to find bugs later.

Completely undo errant git remote push

For any Git remote repo (e.g. Github/Gitlab), you can undo (delete from git history) the last or previous pushes to eliminate huge/numerous/wrong files pushed.