ODK seed command should have an option for setting up a repo on gitlab

[cmungall]

See comments by @leechuck on twitter: https://twitter.com/leechuck2/status/1156588240817856512

Developers of certain nationalities/countries may not be able to use GitHub.

Currently when seeding a repo, there are certain assumptions made the repo will be deposited on GH. It's not hard for an expert to figure out how to adapt this to GL or anywhere else, but we should make this easier for people.

Note: this doesn't address the fact that the wider ecosystem we are developing is very GH-centric

[matentzn]

What kind of assumptions are these? I am happy to fix it over the summer.

[cmungall]

Mostly surface - just scan the code for github. I think field names can stay the same and we can treat github like hoover. But in the instructions for doing the first push. Instructions for managing releases.

On Fri, Aug 2, 2019 at 7:28 AM Nico Matentzoglu [email protected] wrote:

What kind of assumptions are these? I am happy to fix it over the summer.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/INCATools/ontology-development-kit/issues/265?email_source=notifications&email_token=AAAMMOKSHNGLGETJ6UMLRJLQCRABDA5CNFSM4II6IOO2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD3N45CY#issuecomment-517721739, or mute the thread https://github.com/notifications/unsubscribe-auth/AAAMMOI2EBESWWHRR2GIXOLQCRABDANCNFSM4II6IOOQ .

[matentzn]

I made a first pass here updating the documentation, but I cannot find any functional differences. The git client commands are still the same.. Not sure what else to do :P