All-Python, with a proper project and new options
This makes the conversion scripts less cumbersome to use, and actually close to full automation for the main repository:
- Made a proper Python project with console scripts for code reuse (version parsing etc.)
- All scripts now Python
- New
--min-gitlab-version
option inconvert-pull-local
, should be less cumbersome to use - New
--push
option inconvert-pull-local
, since it knows the name of Git branches (bookmarks) to push
(already in place on conversion machine)