Gitlab support for plugin publishing

The request is relatively simple. Please consider supporting Gitlab for plugin hosting/publishing. I personally prefer and use Gitlab for all of my stuff, and I’m sure I’m not the only one. Thus not having to create a user and use Github solely to publish Inkdrop plugins would be much appreciated.

Hi Magnus,

Thank you for the suggestion.
I understand some people would prefer GitLab instead of GitHub.
As you may know, Inkdrop is built based on Atom Editor by a GitHub team, which the implementation heavily relies on GitHub, unfortunately.
So, it’s hard to support other Git platforms at the moment.

Hello @MHBrunbjerg,

I respect your preference of GitLab over GitHub, and I understand it’s frustrating to have to use several version control systems.

There is nothing that can be done about registering an account on GitHub, since as @craftzdog mentioned Inkdrop relies heavily on GitHub.

But once you’ve registered an account on GitHub, that’s basically the only thing you need to do, as you maybe know, GitLab has mirroring features that will allow you to push to GitLab, and have it mirror those changes on GitHub. You need to configure it once (per repository you want to mirror), and then you can completely forget that Inkdrop is using GitHub as a hosting platform:

So we can’t do anything about you creating a user on GitHub, but we can ensure that’s the extent of the work that has to be done on GitHub!

On another note, I think it’s pretty awesome that this single-developer tool has some sort of plugin distribution/management system!!!

I hope this helps!

1 Like