[ocaml-infra] github/ocaml/ocaml trunk synchronization issue

[Gabriel Scherer]

The synchronization of github/ocaml/ocaml with trunk seems to be somehow
stopped:
  https://github.com/ocaml/ocaml/tree/trunk

The last commit I see is Jeremy's, commited on Apr 12, while the SVN has
commits upto Apr 15. On the other hand, commits in the 4.02 branch are
uptodate.

It may be no coincidence that this commit is recognized by github as
Jeremy's (despite having been pushed by myself), which is usually not the
case for SVN commits (if I knew how to reliably have git-svn recover
correct authorship information, I would do it each time). Could the
synchronization script be confused by the difference between the commit's
authorship date (Feb 10) and actual commit date? Did I do something really
silly without noticing?

(Please don't tell me the only solution is to merge pull requests on the
same day they are sent!)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/infrastructure/attachments/20150417/5433344a/attachment.html>