| 12 May 2023 |
 aidalgol | I'll address these issues first. | 10:52:56 |
|  @federicodschonborn:matrix.org changed their profile picture. | 19:34:15 |
| @federicodschonborn:matrix.org changed their display name from Federico Schonborn to Federico Damián Schonborn. | 19:34:59 |
| 13 May 2023 |
 zowoq | In reply to @joerg:thalheim.io
zowoq: what is the new workflow for migrating a repository again? Settings -> Member privileges -> Repository creation -> Public. I've enabled it. | 00:46:24 |
| zowoq | In reply to @joerg:thalheim.io
zowoq: what is the new workflow for migrating a repository again? * Settings -> Member privileges -> Repository creation -> Public. I've enabled it. (and disabled again as the repo was transferred.) | 01:35:28 |
| aidalgol | OK, it's transferred. I could not figure out how to redo it with passing packages instead of with overlays, though. | 01:39:31 |
| 16 May 2023 |
 hexa | the aarch64-community builder is unreachable. cc cole-h | 00:17:44 |
 @cole-h:matrix.org | In reply to @hexa:lossy.network
the aarch64-community builder is unreachable. cc cole-h Should come back up in the next couple minutes. Ping me again if that doesn't happen? | 00:34:18 |
| hexa | or well … 💤 | 00:37:18 |
| zowoq | I've deployed the fix for the hercules problems we were having a couple of weeks ago, seems to be working fine but please let me know if you start seeing errors. | 04:07:41 |
| 17 May 2023 |
|  6t8k joined the room. | 16:20:35 |
| 19 May 2023 |
|  @1e1001:matrix.org left the room. | 03:18:43 |
| 20 May 2023 |
| 6t8k | It looks like Home Manager does not manage users or groups/group membership themselves. Am I right in assuming this? Its manual jumps straight into installation without explaining what it is or what problems it aims to solve, so I'm still a bit unsure in some areas despite reading parts of it and some posts on discourse 😅 | 18:27:57 |
| 6t8k | i.e. I still need to define users using users.users in my system config even though I need to pass things like user names and home directory paths to Home Manager. | 18:33:12 |
