| 5 May 2025 |
| uep joined the room. | 22:50:09 |
| 7 May 2025 |
| Wimpy changed their profile picture. | 15:11:44 |
| supinie joined the room. | 15:43:11 |
| Ethan Bodzioney joined the room. | 16:11:06 |
| 8 May 2025 |
| 98765abc changed their profile picture. | 11:35:03 |
| 9 May 2025 |
| fkouhai joined the room. | 22:01:17 |
| 10 May 2025 |
| lily 🏳️⚧️ joined the room. | 00:16:49 |
Gaétan Lepage | There is some bot spamming here too: https://github.com/nix-community/home-manager/pull/7023 | 16:41:42 |
lily 🏳️⚧️ | In reply to @glepage:matrix.org There is some bot spamming here too: https://github.com/nix-community/home-manager/pull/7023 The AI slop and bots are really accelerating the dead Internet theory | 16:45:44 |
| 12 May 2025 |
| nyanbinary 🏳️⚧️ joined the room. | 16:29:22 |
nyanbinary 🏳️⚧️ | zowoq: https://github.com/nix-community/fenix/issues/195 Winter (she/her) and zmitchell stepped up to maintain fenix | 16:34:04 |
| @fxomt:pub.solar joined the room. | 18:43:35 |
| Winter joined the room. | 21:44:48 |
Winter | is there a way we can enable GitHub's merge queue, or should we use Mergify? | 21:45:04 |
lassulus | Afair we had problems with mergify because our base moved too fast and it ended up creating a lot of PRs | 21:46:48 |
nim65s | in which project | 21:48:22 |
nim65s | * in which project ? | 21:48:25 |
nim65s | nixpkgs or something with less bandwidth ? | 21:49:01 |
zowoq | I've increased the fenix teams permissions to admin so you should be able to enable the merge queue. | 21:49:17 |
zowoq | * I've increased the fenix team permissions to admin so you should be able to enable the merge queue. | 21:49:33 |
FliegendeWurst | yes, nixpkgs https://github.com/NixOS/org/issues/39 | 21:50:34 |
FliegendeWurst | if I understand it correctly, all merges would need to go through the queue | 21:51:06 |
nim65s | ok, I totally missed that, thanks :)
I know the CTO, I'll try to talk with him about those issues | 22:07:48 |
| 13 May 2025 |
| adamcstephens left the room. | 14:42:53 |
| @bloxx12:matrix.org joined the room. | 20:35:50 |
| energi joined the room. | 22:43:25 |
| 14 May 2025 |
| lily 🏳️⚧️ changed their profile picture. | 05:01:42 |
| loopmempool joined the room. | 08:40:23 |
| 15 May 2025 |
| @jh-devv:matrix.org joined the room. | 11:16:03 |
| regalk removed their profile picture. | 13:02:20 |