thanks Martin!
Now everything is in sync again. You're right, the git commits were commited as
separate svn commits; an alternative would be to use `git-merge --squash`, but
I didn't try that one; so far I used `git cherry-pick` to merge a selected
range of git commits into the devel branch
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
