24 Apr 2021 |
| @gitter_propensive:matrix.org left the room. | 17:12:28 |
| @gitterbot:matrix.org left the room. | 17:12:29 |
27 Apr 2021 |
| @softinio:matrix.org left the room. | 21:22:16 |
7 May 2021 |
| gitter-badger (The Gitter Badger) changed their display name from gitter-badger (The Gitter Badger) to matrixbot (matrixbot). | 05:17:19 |
18 May 2021 |
| gitter-badger (The Gitter Badger) changed their display name from matrixbot (matrixbot) to gitter-badger (The Gitter Badger). | 06:44:50 |
22 Jun 2021 |
| GitHub#0000 removed their profile picture. | 19:15:08 |
GitHub#0000 | 3ece2d3 Update admin directory - propensive | 19:15:09 |
| GitHub#0000 set a profile picture. | 19:44:57 |
GitHub#0000 | b0d8c19 Add rudimentary Regex type and rcut extension... - propensive | 19:44:57 |
28 Jun 2021 |
| GitHub#0000 removed their profile picture. | 06:01:30 |
GitHub#0000 | 477fd3c Tidyup - propensive | 06:01:30 |
28 Jul 2021 |
GitHub#0000 | 5e35475 Fixes for Scala 3.0.{x > 0} - propensive | 09:22:33 |
31 Jul 2021 |
GitHub#0000 | a204394 Build-related updates - propensive
af1026e Build-related updates - propensive | 15:56:09 |
| GitHub#0000 set a profile picture. | 20:07:42 |
GitHub#0000 | 1417cf3 Publishing - propensive | 20:07:42 |
2 Aug 2021 |
| GitHub#0000 removed their profile picture. | 13:27:53 |
GitHub#0000 | 1e7b930 Cleanup - propensive | 13:27:53 |
| GitHub#0000 set a profile picture. | 13:34:22 |
GitHub#0000 | 25d221c Remove submodule - propensive | 13:34:23 |
GitHub#0000 | 9deef99 Remove .gitignore - propensive | 13:36:15 |
12 Aug 2021 |
| GitHub#0000 removed their profile picture. | 09:19:50 |
GitHub#0000 | 85f8cea Avoid ??? in macro - propensive | 09:19:50 |
17 Aug 2021 |
GitHub#0000 | a7f3c57 Cleanup docs - propensive | 17:59:15 |
18 Aug 2021 |
| GitHub#0000 set a profile picture. | 06:35:12 |
GitHub#0000 | 47626d5 Add name explanation - propensive | 06:35:12 |
8 Feb 2023 |
| jpopol (jpopol) joined the room. | 07:02:27 |
| matrixbot (matrixbot) joined the room. | 07:02:28 |
| propensive (Jon Pretty) joined the room. | 07:02:29 |
22 Mar 2023 |
| Github [@propensive:matrix.org] (deprecated) changed their display name from Github [@propensive:matrix.org] to Github [@propensive:matrix.org] (deprecated). | 15:04:34 |
Github [@propensive:matrix.org] (deprecated) | Service message: A new version of this bot is available, please see https://ems-docs.element.io/books/element-cloud-documentation/page/migrate-to-the-new-github-and-feeds-bots for instructions on how to migrate. This bot will remain functional for the time being, but can no longer be configured. | 15:04:53 |