Stefan Hagen sdk
sdk pushed to main at sdk/dotfiles 2023-02-22 08:19:00 +01:00
1d3ee78382 Update 2023-02-22 08:18 OpenBSD/amd64
sdk pushed to main at sdk/mystuff 2023-02-19 16:40:36 +01:00
38f24e18f0 notion: unhide SA_RESTART
sdk pushed to main at sdk/mystuff 2023-02-19 16:40:10 +01:00
17a1fe3697 notion: remove .orig
sdk pushed to main at sdk/mystuff 2023-02-19 16:39:19 +01:00
bee4011ca4 notion: unhide SA_RESTART
sdk pushed to main at sdk/mystuff 2023-02-19 15:20:14 +01:00
53ae8d4ef8 notion: update to HEAD
sdk pushed to main at sdk/dotfiles 2023-02-17 08:54:13 +01:00
5b2f60e6e5 Update 2023-02-17 08:54 OpenBSD/amd64
sdk pushed to main at sdk/dotfiles 2023-02-16 10:12:06 +01:00
10a879facd Update 2023-02-16 10:12 OpenBSD/amd64
sdk pushed to main at sdk/mystuff 2023-02-10 19:15:52 +01:00
000816f394 gurk-rs: finelize port
sdk pushed to main at sdk/mystuff 2023-02-10 08:06:22 +01:00
df3fdba5eb gurk-rs: working version
sdk pushed to main at sdk/mystuff 2023-02-07 07:46:22 +01:00
af606c11d2 gurk-rs: add DESCR
sdk pushed to main at sdk/mystuff 2023-02-07 07:37:08 +01:00
fb3ec702ad gurk-rs: add ring dependency
sdk pushed to main at sdk/uugbot 2023-02-05 14:58:33 +01:00
73223ca737 Prevent another type of possible loop
sdk pushed to main at sdk/uugbot 2023-02-05 14:54:48 +01:00
fe41bdc363 modify the template used to set the topic to use the wording from the web page (#1)
sdk merged pull request sdk/uugbot#1 2023-02-05 14:54:48 +01:00
modify the template used to set the topic to use the wording from the web page
sdk commented on pull request sdk/uugbot#1 2023-02-05 14:54:30 +01:00
modify the template used to set the topic to use the wording from the web page

Thanks

sdk pushed to main at sdk/uugbot 2023-02-05 10:09:50 +01:00
c1731d0c5d Make the bot work with a new ii versions
sdk pushed to main at sdk/uugbot 2023-02-05 09:57:34 +01:00
c7a3c4a7c0 Not every fgrep needs to print the result
sdk pushed to main at sdk/uugbot 2023-02-05 09:55:37 +01:00
e2a8362097 Expansion doesn't work in quotes
sdk pushed to main at sdk/uugbot 2023-02-05 09:43:03 +01:00
8d57f4e857 This kill was never reached anyway
sdk pushed to main at sdk/uugbot 2023-02-05 09:41:37 +01:00
1f28b4f79e Add comments