Haskell on Codeberg

Announcements
1

I have created a haskell organisation on Codeberg. If you’d like to join please create an issue here and then you should be able to migrate a project over. You can also, of course, host Haskell projects in your personal namespace on Codeberg.

The idea is that it could fulfill a similar role to the haskell org on GitHub for those wishing to move away from that increasingly unstable platform.

Note that Codeberg has a policy against LLMs and crypto projects so it isn’t the right home for all projects.

35 Likes
2

GHCup has moved: https://codeberg.org/haskell/ghcup-hs

18 Likes
3

GHCup-GTK has moved: https://codeberg.org/haskell/ghcup-gtk

16 Likes
4

I’ve already set up my own primary hosting after fleeing Github, but Codeberg looks like it an appropriate secondary mirror. I’m never going to use a hub as the primary repository host ever again, though. Microsoft bought Github and bet the house that people wouldn’t want to deal with the hassle of changing all their links and remotes, but it looks like that bet fell flat.

4 Likes
5

Yeah. My plan is to migrate my own CI to woodpecker (self-hosted) and then stick to whatever forge doesn’t currently s**k.

For issue tracking I want something that has relatively low barrier of entry. After all, I want to receive issues. Spreading issue trackers across multiple forges is meh and enabling sign-up for my self-hosted instance is also a no-no.

4 Likes
6

More fragmentation, yay.

9 Likes
7

You gotta be kidding. Codeberg is barely breathing at times, and then it takes a scheduled maintenance or something.

I appreciate divesting from GitHub, but the idea is unsound as stated.

2 Likes
9

I’m not trying to start any debates here. There’s lots of reasons people want to host code in diverse places.

I just posted here because people asked about moving projects there and I wanted to more broadly broadcast this option

15 Likes
10

I get that and support that. This just reminded me how people went “abolish the silos, move to fediverse” and everyone ended up on mastodon.social that was badly overloaded already.

1 Like
11

git is a decentralized vcs :smirking_face:

2 Likes
12

Only 16 out of the 123 people I follow are from mastodon.social.

6 Likes
13

I just saw this pop by on my mastodon feed: GitSocial

6 Likes
14

Ironically, I tried using Codeberg today for the first time, and seaching through GHCUp issues, I got an error:

Search and filtering is seeing a high influx of requests for this repository, to preserve the availability of Codeberg your search request will not be processed. Sorry for the inconvenience and please try again later.

Is that common?

Edit: even manually paging through issues fails with the same error

1 Like
15

Yes it is common; I got it too. It goes away if one is logged in with an account, IIUC. Yet another casualty of plain old anonymous browsing in the war against scraping, I think.

3 Likes
16

Thanks John, I registered an account and now it’s working fine.

1 Like
17

To be perfectly clear, GitHub does this too, if you’re not logged in.

2 Likes
18

Decentralization is not necessarily equivalent to fragmentation.

1 Like
19

Thanks, I’ll join asap! :slight_smile:

Might be useful to also mention codeberg’s policy on restrictive licenses, iirc AGPL and CC’s -NC clauses are considered incompatible.

(Edit: AGPL is okay, I got confused there, thanks for correction)

1 Like
20

Can you provide links to these claims?

AGPL is recommended in the license guide: Licensing on Codeberg | Codeberg Documentation

21

We previously hit e.g. this: #2361 - [CI] CI for real-world-haskell book deployment - Codeberg-e.V./requests - Codeberg.org

But yeah seems like AGPL is okay, my bad, I confused it with something else.

1 Like