If you see a dev pushing to GitHub and they're not also pushing to ngit, it is your duty to comment "ok boomer".