| 7 Jul 2024 |
|  maj changed their profile picture. | 21:20:38 |
| 8 Jul 2024 |
|  @zzantares:matrix.org changed their display name from zzantares to demo-reset. | 06:00:24 |
| @zzantares:matrix.org removed their profile picture. | 06:00:33 |
|  @nickkadutskyi:matrix.org left the room. | 19:20:17 |
| 9 Jul 2024 |
|  @ktemkin:katesiria.org left the room. | 04:59:30 |
| 10 Jul 2024 |
 enn_ | In reply to @proofconstruction:matrix.org
Welcome! For suggestions, typically they are made here, in a GitHub Issue, or by implementing the change and making a pull request to the appropriate repository. In all cases there will be an associated thread of comments and follow up suggestions. It never fails to surprise me how time flies. This comment is also an attempt to understand how badly I'll spam the main channel when I comment in this thread... | 21:34:57 |
| enn_ | Download nix-docs-proposal.md | 21:37:41 |
| enn_ | In reply to @enn_:matrix.org
It never fails to surprise me how time flies. This comment is also an attempt to understand how badly I'll spam the main channel when I comment in this thread... clearly in no particular rush from my side 😅 I've attached a brief proposal relating to nix docs for consideration. Am happy to come along to an office hours session if that is useful / appropriate, or just receive feedback here, whatever works 🙂 | 21:39:27 |
| @zzantares:matrix.org changed their display name from demo-reset to Hamlet'sPiedPlumber. | 23:02:34 |
| 11 Jul 2024 |
|  @fastloris:tchncs.de left the room. | 10:53:04 |
|  cafkafk changed their profile picture. | 17:11:22 |
| 15 Jul 2024 |
 willbush | I was trying to try to help out in the nix.dev repo by going through old issues and seeing if any can be closed or easily fixed. Should I ping someone from the issue if I think it can be closed or just leave a comment or something? | 00:23:44 |
| willbush | Redacted or Malformed Event | 01:38:24 |
| willbush | * I was thinking to try to help out in the nix.dev repo by going through old issues and seeing if any can be closed or easily fixed. Should I ping someone from the issue if I think it can be closed or just leave a comment or something? | 02:14:13 |
| willbush | Download issues.md | 05:58:11 |
