Message13110

Turns out the GitHub import tool didn't work well at all: it mucks up the history by dropping parent pointers. I even found some that seem to have more to do with the date than the actual parentage.

This is quite annoying as we have settled in, accepted PRs and so on.

I'm currently betting on https://github.com/frej/fast-export to give us a correct result (in my private repo). That is quite difficult to drive with the manual patch-up, but it seems to be working.

Assuming it does, we must also figure out how we can replace jython/jython with the outcome.