Skip to content

Conversation

@ArtificialOwl
Copy link
Member

backport of #1223

Signed-off-by: Maxence Lange <[email protected]>
@blizzz
Copy link
Member

blizzz commented Mar 23, 2023

ci is failing, labels are missing

@blizzz
Copy link
Member

blizzz commented Jun 22, 2023

@ArtificialOwl do we still need it?

@blizzz
Copy link
Member

blizzz commented Sep 13, 2023

friendly pingminder :)

@blizzz
Copy link
Member

blizzz commented Nov 22, 2023

Still necessary?

@blizzz
Copy link
Member

blizzz commented Dec 14, 2023

@ArtificialOwl ?

@blizzz
Copy link
Member

blizzz commented Jan 24, 2024

closing for inactivity

@blizzz blizzz closed this Jan 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants