kkremitzki wrote: ↑
Mon Feb 10, 2020 6:34 am
Sure, just did so.
Great, I've made the pull request. If you'd like to get the commit history of the original repo, you'd probably want to delete this github repo, and clone the gitlab repo. I don't particularly care either way.
In other news, the docker images were hosted on gitlab, so if it's moving from there, there needs to be an appropriate way to host the images. Docker hub would work fine, but I'm not certain how FreeCAD manages permissions and what not.
That's putting the cart before the horse, however, because the current image should be vetted before anything along those lines happens. Does it work acceptably for you?