jaor / xmobar

A minimalistic status bar

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Move out of GitHub

jaor opened this issue · comments

commented

In view of the latest CodePilot developments, which are the proverbial drop
for me, i (@jaor) would like to move xmobar's development out of GitHub sooner
than later, starting with adding something as the note below to our readme.org
(which also contains links to relevant explanations as to why the fuss).

But of course this project belongs to its community of contributors, which i
am very proud to say is not small, and i don't want to take such a measure
without a bit of discussion first!

Thus this issue. Besides agreeing on leaving, there's the question of where
to go. While GitLab is already better than Github and offers very similar
functionality, it might become the next GitHub. I use Codeberg for my
personal projects, and i'm happy with it, but it has the drawback that one
cannot yet reply to conversations via email, which makes me hesitate.
Sourcehut is in vogue these days, and i guess i could use it (being old and
all that), but i confess i've grown fond of code reviews in PRs and it might
be too much of a paradigm shift for other collaborators around here? Other
options?

Thoughts and opinions most welcome!

Draft Note

We're Using GitHub Under Protest

This project is currently hosted on GitHub. This is not ideal; GitHub is a
proprietary, trade-secret system that is not Free and Open Souce Software
(FOSS). We are deeply concerned about using a proprietary system like GitHub
to develop our FOSS project. We have an
open {bug ticket, mailing list thread, etc.} where the
project contributors are actively discussing how we can move away from GitHub
in the long term. We urge you to read about the
Give up GitHub campaign from
the Software Freedom Conservancy to understand
some of the reasons why GitHub is not a good place to host FOSS projects.

If you are a contributor who personally has already quit using GitHub, please
check this resource for how to send us contributions without
using GitHub directly.

Any use of this project's code by GitHub Copilot, past or present, is done
without our permission. We do not consent to GitHub's use of this project's
code in Copilot.

Logo of the GiveUpGitHub campaign

i've grown fond of code reviews in PRs and it might be too much of a paradigm shift for other collaborators around here

This is likely to affect me indeed. I haven't managed to find an email client which I don't absolutely despise, and I'm not very optimistic about ever finding one, with the limited innovation happening in that space. The GitHub/GitLab pull request UI/UX is the best (for me!) I've seen; BitBucket is acceptable (but unusably slow and unreliable), Gerrit unwieldy/impractical. If xmobar were to migrate away, I'd still continue using it and contributing patches, but I can't promise to participate in code reviews if it migrates to something else than GitLab, because it'll likely become a chore rather than something I enjoy.

Personally, I am still of the opinion that GitHub provides immense value for me and the projects I work on. Not only do we get free hosting of git and a web UI to browse it, but also hosting of project websites via GitHub Pages, CI via GitHub Actions, collaboration and project management features (issues, PRs, project boards), and last but not least, funding via GitHub Sponsors. As I mostly work on projects with permissive licenses, having the code be a source for Copilot's learning is probably still an acceptable tradeoff. It's a difficult tradeoff though and I completely understand that others find it unacceptable.

commented

How about Codeberg? Its PR support is similar to GitHub/Lab's, i think, and its drawback (no email support) doesn't seem to be a problem for you?

The entire Codeberg UI seems to be an almost perfect clone of GitHub, so I'd assume I'd feel at home there. :-)