Hacker News new | ask | show | jobs
by vulf 4428 days ago
> commit history, push log, and all issues and pull requests

A force push will still show up in the log. Issues and PRs aren't deletable, so that lends a bit of credibility to this. Sure, said engineer probably has access to erase the push log and delete the issues or PRs directly from the database, but parties involved would likely still have email notifications related to it.