Logs: liberachat/#haskell
| 2021-05-22 19:52:22 | × | xaotuk quits (~xaotuk@89.110.231.41) (Ping timeout: 264 seconds) |
| 2021-05-22 19:53:50 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-05-22 19:54:21 | → | xaotuk joins (~xaotuk@89.110.231.41) |
| 2021-05-22 19:55:27 | → | Valerian joins (~vclerc@modemcable030.18-176-173.mc.videotron.ca) |
| 2021-05-22 19:55:30 | × | Valerian quits (~vclerc@modemcable030.18-176-173.mc.videotron.ca) (Client Quit) |
| 2021-05-22 19:57:36 | → | minoru_shiraeesh joins (~shiraeesh@109.166.58.83) |
| 2021-05-22 19:58:05 | × | xff0x quits (~xff0x@2001:1a81:529b:e000:6c09:9e0:c692:733a) (Ping timeout: 272 seconds) |
| 2021-05-22 19:59:06 | × | m_shiraeeshi quits (~shiraeesh@109.166.59.110) (Ping timeout: 264 seconds) |
| 2021-05-22 19:59:16 | → | xff0x joins (~xff0x@2001:1a81:529f:d600:b6b2:7788:fd77:9a4f) |
| 2021-05-22 19:59:47 | × | pbrisbin quits (~patrick@pool-173-49-145-161.phlapa.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-05-22 20:01:33 | → | jneira joins (5127aca6@107.161.19.109) |
| 2021-05-22 20:04:48 | × | drewolson1 quits (~drewolson@64.227.24.16) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-22 20:04:58 | → | drewolson1 joins (~drewolson@64.227.24.16) |
| 2021-05-22 20:05:41 | × | juhp quits (~juhp@128.106.188.199) (Ping timeout: 272 seconds) |
| 2021-05-22 20:06:22 | → | manicennui joins (uid349235@tinside.irccloud.com) |
| 2021-05-22 20:08:29 | → | juhp joins (~juhp@128.106.188.199) |
| 2021-05-22 20:08:48 | nf_ | is now known as nf |
| 2021-05-22 20:11:32 | × | killsushi quits (~killsushi@user/killsushi) (Quit: Leaving) |
| 2021-05-22 20:13:35 | × | juhp quits (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-22 20:13:49 | → | juhp joins (~juhp@128.106.188.199) |
| 2021-05-22 20:18:35 | × | paolino quits (~paolo@217.138.197.60) (Remote host closed the connection) |
| 2021-05-22 20:19:10 | → | Franciman joins (~francesco@host-80-180-196-134.retail.telecomitalia.it) |
| 2021-05-22 20:21:48 | × | pretty_dumm_guy quits (~trottel@37.120.217.166) (Quit: WeeChat 3.2-dev) |
| 2021-05-22 20:22:00 | jackhill | is now known as KM4MBG |
| 2021-05-22 20:22:21 | KM4MBG | is now known as jackhill |
| 2021-05-22 20:23:41 | → | bilegeek joins (~bilegeek@2600:1008:b01f:f38c:3168:4441:25c3:560f) |
| 2021-05-22 20:29:12 | <gentauro> | but what is the deal? move all users to libera, then "sell" to next "douche" and moving time again? |
| 2021-05-22 20:29:40 | <manicennui> | That's Prince Douche. |
| 2021-05-22 20:29:43 | <gentauro> | it's also a trend with companies providing "open source" |
| 2021-05-22 20:30:06 | <gentauro> | they can at any time change the license to a propietary and vupti, you worked for free |
| 2021-05-22 20:30:28 | gentauro | except if they use the GPLv3 / AGPLv3 and so |
| 2021-05-22 20:33:34 | <Vq> | They can only change the license for future versions. |
| 2021-05-22 20:34:45 | <Vq> | Doesn't have anything to do with GPL, it would work the same with MIT or BSD. |
| 2021-05-22 20:35:27 | <maerwald> | Vq: depends... they have to ask contributors first, until there was a contribution agreement |
| 2021-05-22 20:35:29 | <Vq> | Even if you signed over the copyright you could still fork the last free version. |
| 2021-05-22 20:35:48 | <ac> | it depends if there is a CLA in place or not |
| 2021-05-22 20:35:49 | <maerwald> | e.g. the linux kernel will very likely never change its license, because it's too hard |
| 2021-05-22 20:36:34 | <monochrom> | What's the deal indeed. You are free to not switch. |
| 2021-05-22 20:38:11 | <maerwald> | I'm fine with moving every 10 years if that means giving some ppl a taste of what it means to lie to users |
| 2021-05-22 20:39:00 | <maerwald> | I hope this happens to github soon |
| 2021-05-22 20:39:34 | <maerwald> | We did it to sourceforge, so... |
| 2021-05-22 20:40:15 | <manicennui> | Were there ever any dependency management systems that were entirely based on sourceforge? |
| 2021-05-22 20:40:30 | <slowButPresent> | gentauro: that is when we fork. Some examples: OSD, OpenOffice, XFree86. Its bad for everyone. Even Oracle hasn't found a way to make money at it. |
| 2021-05-22 20:40:33 | <Vq> | I hope for that too, github have had a long run. |
| 2021-05-22 20:40:56 | <slowButPresent> | s/OSD/OSS |
| 2021-05-22 20:40:56 | <Vq> | I don't think Microsoft will pull a Lee on github tomorrow though. |
| 2021-05-22 20:41:25 | <du> | I'd love it |
| 2021-05-22 20:41:34 | <maerwald> | github is more of a social platform today than a development platform |
| 2021-05-22 20:41:37 | → | sm joins (~sm@172.56.44.47) |
| 2021-05-22 20:41:37 | × | sm quits (~sm@172.56.44.47) (Changing host) |
| 2021-05-22 20:41:37 | → | sm joins (~sm@plaintextaccounting/sm) |
| 2021-05-22 20:41:39 | <du> | sometimes the world just needs to burn |
| 2021-05-22 20:42:04 | <maerwald> | does everything really need like buttons? |
| 2021-05-22 20:42:16 | <gonz> | GitHub has basically only improved since MS bought it, it seems to me. |
| 2021-05-22 20:42:48 | <manicennui> | GitHub now has themes! |
| 2021-05-22 20:42:53 | <ac> | yeah and for a social platform there is quite some development going on there. |
| 2021-05-22 20:43:28 | → | jolamb joins (~jolamb@host-79-56-212-5.retail.telecomitalia.it) |
| 2021-05-22 20:43:30 | × | jolamb quits (~jolamb@host-79-56-212-5.retail.telecomitalia.it) (K-Lined) |
| 2021-05-22 20:44:28 | <gonz> | It was stagnating and getting pretty bare in comparison to other offerings before that. Almost immediately after the acquisition they made more things free for everyone, etc.. Some of them were things that were free in other offerings long before and GitHub was basically coasting on fast response times only in comparison to GitLab. |
| 2021-05-22 20:45:10 | <gonz> | They also made sponsorships a thing, which I think is great. |
| 2021-05-22 20:45:17 | <maerwald> | I use github for the network effect. Everything else is rathes unappealing, including CI. |
| 2021-05-22 20:45:33 | <ac> | I just send patches by email. |
| 2021-05-22 20:46:23 | <maerwald> | these days you're lucky if you get *any* contributor, so I won't offend them by giving weird instructions like "here, post your patch on this mailing list" |
| 2021-05-22 20:46:45 | <juri_> | i ended up moving to github, because of contributors. |
| 2021-05-22 20:46:49 | <maerwald> | (I also avoid maintainers who don't provide public issues trackers) |
| 2021-05-22 20:47:14 | <maerwald> | ac: sure, I accept patches via email |
| 2021-05-22 20:47:17 | <Vq> | I had to use it to send patches to the NixOS project. GitHub is more confusing than contributing to Linux. |
| 2021-05-22 20:47:20 | <juri_> | I'm working on setting up a solution in gitlab, to tempt my contributors back over. |
| 2021-05-22 20:48:44 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 2021-05-22 20:49:06 | <ac> | maerwald: wonder were built this way! still the most reliable way to send a patch. |
| 2021-05-22 20:50:40 | <maerwald> | ac: better than a patch is a pull request (which can be done via email as well) |
| 2021-05-22 20:52:08 | → | NieDzejkob_ joins (~quassel@195.149.98.3) |
| 2021-05-22 20:52:52 | <maerwald> | juri_: have they managed to get a competent admin? |
| 2021-05-22 20:54:06 | <juri_> | maerwald: I'm looking at moving over to the IEEE SA's hosted gitlab instance. |
| 2021-05-22 20:54:26 | → | robertm joins (~robertm@rojoma.com) |
| 2021-05-22 20:54:38 | <juri_> | so, an admin team i know and trust. |
| 2021-05-22 20:55:39 | <maerwald> | good... I don't trust the github admins either... their spam detection is fishy and sometimes trigger inaccurately. That will cause your entire account, all your repositories and all the issues on any repository you opened on github to be hidden |
| 2021-05-22 20:55:45 | bbear_ | is now known as bbear |
| 2021-05-22 20:56:12 | <maerwald> | Then you have to send emails that take 2-3 weeks back and forth |
| 2021-05-22 20:56:21 | × | yumaikas94 quits (~yumaikas@2601:281:c700:4240:bcee:acd6:d20a:6ea5) (Ping timeout: 272 seconds) |
| 2021-05-22 20:57:13 | → | redawl joins (~redawl@50.38.61.81) |
| 2021-05-22 20:57:15 | <maerwald> | That remains you that you don't own any data on their servers |
| 2021-05-22 20:58:02 | <maerwald> | Unfortunately, we haven't managed to come up with a "contribution protocol" that's maybe even VCS agnostic |
| 2021-05-22 20:58:44 | <maerwald> | So your options are: 1. terrible fragmentation and 2. terrible centralization |
| 2021-05-22 20:58:53 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-22 20:58:58 | × | xff0x quits (~xff0x@2001:1a81:529f:d600:b6b2:7788:fd77:9a4f) (Ping timeout: 264 seconds) |
| 2021-05-22 20:59:23 | → | gambpang joins (~ian@c-69-246-197-46.hsd1.il.comcast.net) |
| 2021-05-22 21:00:37 | → | xff0x joins (~xff0x@2001:1a81:52a0:e100:12d8:511d:ef81:b662) |
| 2021-05-22 21:01:10 | <DasBrain> | In some way, I like what OpenJDK did (but they poured a lot of resources into that): Don't break the original workflow, and use github bots/integrations to "merge" it with the github PR workflow. |
| 2021-05-22 21:02:06 | → | Oddmonger0 joins (~Oddmonger@200.93.20.172) |
| 2021-05-22 21:02:18 | × | Oddmonger0 quits (~Oddmonger@200.93.20.172) (K-Lined) |
| 2021-05-22 21:02:34 | × | gambpang quits (~ian@c-69-246-197-46.hsd1.il.comcast.net) (Remote host closed the connection) |
| 2021-05-22 21:02:43 | ← | redawl parts (~redawl@50.38.61.81) () |
| 2021-05-22 21:02:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-22 21:04:38 | → | gambpang joins (~ian@c-69-246-197-46.hsd1.il.comcast.net) |
| 2021-05-22 21:06:47 | <maerwald> | The reason github is so popular is because now you have to memorise less workflows. But it's implicit and infrastructure specific. A better way would be a protocol |
| 2021-05-22 21:09:31 | zzz | is now known as yin |
| 2021-05-22 21:09:37 | → | pretty_dumm_guy joins (~trottel@217.138.220.198) |
| 2021-05-22 21:10:09 | niko | is now known as k |
| 2021-05-22 21:11:06 | → | heath joins (~heath@68.68.64.38) |
All times are in UTC.