On 09/21/2016 12:01 AM, Rainer Johannes wrote:
Dear all,

I recently observed that the svn and the github mirror of `ensembldb` is out of 
sync. Is this something specific to `ensembldb` or is this a general problem? 
Is there anything I could do to fix this?

I think it is up-to-date now? I think the problem is when several svn commits occur in quick succession, and the second tries to sync the git repository while the first is still working. I guess the common case is when you're working on a git repo and merge it to svn in a way that retains the discrete git commits as svn commits.

Each commit triggers this script


and these lines (usually the second?) fail


leaving the local git repository in a condition that requires manual clean-up.

I guess this requires a more sophisticated implementation, where the svn commit adds a task to a time-ordered queue, and the queue waits until each previous step has been complete.


thanks, jo

Bioc-devel@r-project.org mailing list

This email message may contain legally privileged and/or...{{dropped:2}}

Bioc-devel@r-project.org mailing list

Reply via email to