Shouldn&#x27;t the server log incoming pushes so you can find when the commit arrived, not just when the commit claims to have been made?<p>Maybe they <i>don&#x27;t</i>, but this seems like something they ought to do.