Does GitHub provide the time of the last available repository pull / fetch / clone (at least for those who have write access to the repo)?
The interest in this information, of course, is explained by the desire to evaluate how safe it would be to do git push -f on a repo, which would essentially rewrite the last few commits: if there was no pull / fetch / clone, since the earliest record to be overwritten was ported to GitHub, then rewriting might be ok ...
Perhaps an example will clarify my question. For simplicity, suppose that there is only one local branch ( master ) and one remote branch ( origin/master ). (IOW, the remote repo has only one branch, and I only track it with our local branch.)
First, consider a completely local scenario: I am doing a commit, and soon realized that there was a problem with this commit. In this case, I just overwrite this commit with the correct one using git commit --amend ...
Now imagine exactly the same scenario, with the difference that, before I notice a commit problem, I push the erroneous commit to the remote relay (GitHub).
If I am the only user of this repo, I can just overwrite the commit locally as before, and then use git push -f ... to overwrite the erroneous commit in the remote repository (GitHub).
If, however, I am not the only user of this repo, the procedure described above is problematic because another user can clone or retrieve the remote (GitHub) from the repository at some point after I clicked on the erroneous commit, but before I overwritten the erroneous commit in the remote repo.
One way to minimize this feature is to check the recording of all pull, fetch and clone operations performed in the remote repo from the moment I pressed the wrong commit on it. If this record shows at least one of these operations, then this will mean that we have exactly the problematic scenario described in the previous paragraph.
If, on the other hand, there is no such operation in the record, then there is one more hope that I can rewrite the erroneous commit in the remote repo without the problematic scenario described above. (Of course, this is a race condition, so there is no 100% guarantee.)
All this, however, is based on the availability of such a record of pull, fetch, and clone operations in a remote repo. I doubt that GitHub makes such a record available, at least to those who have write access to the repo.