Recent Posts

Completely undo errant Github push

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

Overleaf with Github

Use Github with Overleaf, as Overleaf corrupted my document but with Github I could recover it post facto. Using Git a priori stops such corruption.