!PPXQZtImiTvzbEfPON:matrix.org

Propensive / Kaleidoscope

13 Members
Kaleidoscope: Direct pattern matching on strings3 Servers

Load older messages


SenderMessageTime
24 Apr 2021
@gitter_propensive:matrix.org@gitter_propensive:matrix.org left the room.17:12:28
@gitterbot:matrix.org@gitterbot:matrix.org left the room.17:12:29
27 Apr 2021
@softinio:matrix.org@softinio:matrix.org left the room.21:22:16
7 May 2021
@gitter-badger:gitter.imgitter-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:gitter.imgitter-badger (The Gitter Badger) changed their display name from matrixbot (matrixbot) to gitter-badger (The Gitter Badger).06:44:50
22 Jun 2021
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000 removed their profile picture.19:15:08
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000
[kaleidoscope:main] 1 new commit

3ece2d3 Update admin directory - propensive

19:15:09
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000 set a profile picture.19:44:57
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000
[kaleidoscope:main] 1 new commit

b0d8c19 Add rudimentary Regex type and rcut extension... - propensive

19:44:57
28 Jun 2021
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000 removed their profile picture.06:01:30
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000
[kaleidoscope:main] 1 new commit

477fd3c Tidyup - propensive

06:01:30
28 Jul 2021
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000
[kaleidoscope:main] 1 new commit

5e35475 Fixes for Scala 3.0.{x > 0} - propensive

09:22:33
31 Jul 2021
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000
[kaleidoscope:main] 2 new commits

a204394 Build-related updates - propensive
af1026e Build-related updates - propensive

15:56:09
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000 set a profile picture.20:07:42
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000
[kaleidoscope:main] 1 new commit

1417cf3 Publishing - propensive

20:07:42
2 Aug 2021
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000 removed their profile picture.13:27:53
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000
[kaleidoscope:main] 1 new commit

1e7b930 Cleanup - propensive

13:27:53
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000 set a profile picture.13:34:22
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000
[kaleidoscope:main] 1 new commit

25d221c Remove submodule - propensive

13:34:23
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000
[kaleidoscope:main] 1 new commit

9deef99 Remove .gitignore - propensive

13:36:15
12 Aug 2021
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000 removed their profile picture.09:19:50
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000
[kaleidoscope:main] 1 new commit

85f8cea Avoid ??? in macro - propensive

09:19:50
17 Aug 2021
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000
[kaleidoscope:main] 1 new commit

a7f3c57 Cleanup docs - propensive

17:59:15
18 Aug 2021
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000 set a profile picture.06:35:12
@_discord_773968447872696350_=47it=48ub:t2bot.ioGitHub#0000
[kaleidoscope:main] 1 new commit

47626d5 Add name explanation - propensive

06:35:12
8 Feb 2023
@jpopol-5544a9e415522ed4b3dfd49a:gitter.imjpopol (jpopol) joined the room.07:02:27
@matrixbot-56bb7a56e610378809c0cb2c:gitter.immatrixbot (matrixbot) joined the room.07:02:28
@propensive-54cd2f99db8155e6700f4dcd:gitter.impropensive (Jon Pretty) joined the room.07:02:29
22 Mar 2023
@_neb_github_=40propensive=3amatrix.org:matrix.orgGithub [@propensive:matrix.org] (deprecated) changed their display name from Github [@propensive:matrix.org] to Github [@propensive:matrix.org] (deprecated).15:04:34
@_neb_github_=40propensive=3amatrix.org:matrix.orgGithub [@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

There are no newer messages yet.


Back to Room ListRoom Version: 5