jaeger changed the topic of #crux-devel to: CRUX (https://crux.nu/) development channel | Logs: https://libera.irclog.whitequark.org/crux-devel/
<beerman> for a maybe silly maybe not so silly feature: you can now register to our gitea instance with github. I plan to integrate gitlab as well.
<beerman> but first I added a PR for pmwiki :D https://git.crux.nu/ports/contrib/pulls/6
ivandi has quit [Quit: WeeChat 4.2.1]
ivandi has joined #crux-devel
ivandi has quit [Quit: WeeChat 4.2.1]
ivandi has joined #crux-devel
ivandi has quit [Quit: WeeChat 4.2.1]
ivandi has joined #crux-devel
<jaeger> https://git.crux.nu/tools/webtools/commits/branch/master <-- timeline and portdb stuff should be up to date now. I included commits for 1) getting the live versions from the previous server into git since they had diverged from the repo, and 2) getting the newest versions of both into git
<jaeger> I'm going to remove the redundant web/portdb repo and "web" org (I had forgotten about the tools/webtools repo or something)