Zulip Chat Archive

Stream: mathlib4

Topic: porters

Johan Commelin (Jan 24 2023 at 06:54):

@porters Hi! I added you to a new user group.

@ everyone else: if you didn't get pinged, but would like to be pinged when someone writes @porters, please let me know.

Yury G. Kudryashov (Jan 24 2023 at 07:19):

Letting you know

Anne Baanen (Jan 24 2023 at 10:48):

Could you also add me please, @Johan Commelin?

Anne Baanen (Jan 24 2023 at 10:48):

Nevermind, I have enough access to the Zulip settings to do it myself :)

Heather Macbeth (Jan 24 2023 at 12:25):

I also added myself :-)

Kevin Buzzard (Jan 24 2023 at 12:30):

I think I'm not being pinged by this? Can you add me?

Heather Macbeth (Jan 24 2023 at 12:31):

Done

Jireh Loreaux (Jan 24 2023 at 15:49):

Please add me as well.

Johan Commelin (Jan 24 2023 at 15:51):

Done

Adam Topaz (Jan 24 2023 at 15:55):

I think I was able to add myself as well...

Frédéric Dupuis (Jan 24 2023 at 16:09):

I also added myself :-)

Floris van Doorn (Jan 24 2023 at 16:58):

I also added myself ^^

Jon Eugster (Jan 24 2023 at 22:27):

could you add me too please :)

Arien Malec (Jan 24 2023 at 22:36):

Please add me as well -- thanks!

Moritz Doll (Jan 24 2023 at 23:07):

could you add me as well (I am trying to get back to help with the porting)

Frédéric Dupuis (Jan 25 2023 at 00:26):

@Jon Eugster @Arien Malec @Moritz Doll Done!

Jakob von Raumer (Jan 25 2023 at 09:03):

Can you add me too?

Johan Commelin (Jan 25 2023 at 09:05):

done

Moritz Firsching (Jan 25 2023 at 13:31):

me too, please!

Floris van Doorn (Jan 25 2023 at 13:44):

done

Calvin Lee (Jan 26 2023 at 10:41):

I don't believe I can add myself, can somebody else do it :)

Johan Commelin (Jan 26 2023 at 11:37):

@Calvin Lee done

Paul Lezeau (Jan 27 2023 at 17:25):

Could someone add me too ? :)

Floris van Doorn (Jan 27 2023 at 17:26):

done

Paul Lezeau (Jan 27 2023 at 17:27):

Cheers !

Matthew Ballard (Jan 27 2023 at 20:57):

:raised_hand: could I be added also? :pray:

Adam Topaz (Jan 27 2023 at 21:56):

Matthew Ballard said:

:raised_hand: could I be added also? :pray:

Added!

Evgenia Karunus (Feb 01 2023 at 07:44):

Please add me too!

Johan Commelin (Feb 01 2023 at 07:51):

done

Pol'tta / Miyahara Kō (Feb 02 2023 at 03:16):

Please add me!

Johan Commelin (Feb 02 2023 at 05:08):

Done

Oliver Nash (Mar 01 2023 at 16:59):

Me too please!

Floris van Doorn (Mar 01 2023 at 17:00):

done, although you can also do it yourself ;-)

Oliver Nash (Mar 01 2023 at 17:01):

I think I never did get Zulip superpowers.

Floris van Doorn (Mar 01 2023 at 17:01):

You only need Zulip semi-superpowers to do this :-)

Thomas Browning (Mar 01 2023 at 19:37):

Could I get added to the list?

Johan Commelin (Mar 01 2023 at 19:42):

done

Joël Riou (Mar 17 2023 at 13:20):

Can someone add me to the list?

Jeremy Tan (Mar 17 2023 at 13:21):

Can someone add me to the list?

Bulhwi Cha (Mar 18 2023 at 04:32):

Please add me to the list as well!

MonadMaverick (Apr 06 2023 at 05:37):

Please add me. Thank you :>

Wrenna Robson (Apr 13 2023 at 14:37):

Please add me.

Last updated: Dec 20 2023 at 11:08 UTC