Due to repeated troubles getting some basic things done with Gitlab, I'm pondering transferring the repository back to Github. This has been brewing for quite some time, but the kicker has been the email I referenced in #291. I don't want people to feel put off by hassles getting a Gitlab account or using Gitlab.
For those of you active here and want to continue participating, please post your Github user ID to this issue so I can prepare a map of usernames here to usernames at Github for when the time comes.
Hello David, when do we get back to Github? Will you update this repo when it happens or somehow claim the old one (https://github.com/vdudouyt/minipro)? 🙂
Due to repeated troubles getting some basic things done with Gitlab, I'm pondering transferring the repository back to Github. This has been brewing for quite some time, but the kicker has been the email I referenced in #291. I don't want people to feel put off by hassles getting a Gitlab account or using Gitlab.
For those of you active here and want to continue participating, please post your Github user ID to this issue so I can prepare a map of usernames here to usernames at Github for when the time comes.