Skip to content
This repository was archived by the owner on Sep 17, 2024. It is now read-only.

merge development into main#14

Merged
mchalunderscore merged 7 commits intomainfrom
development
Sep 10, 2022
Merged

merge development into main#14
mchalunderscore merged 7 commits intomainfrom
development

Conversation

@axtloss
Copy link
Copy Markdown
Member

@axtloss axtloss commented Sep 4, 2022

this removes the crystal-extra repo from the pacman config

SomethingGeneric and others added 6 commits August 28, 2022 23:14
Signed-off-by: Michal <michal@tar.black>
Signed-off-by: Michal <michal@tar.black>
Signed-off-by: axtloss <axtlos@tar.black>
Copy link
Copy Markdown
Member

@SomethingGeneric SomethingGeneric left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me!

@SomethingGeneric
Copy link
Copy Markdown
Member

@not-my-segfault @axtloss gonna wait for y'all to merge tho in case we want more stuff before the next ci job?

@axtloss
Copy link
Copy Markdown
Member Author

axtloss commented Sep 6, 2022

we still have to rebuild the new version of jade gui once that gets merged into main, then we could merge this

@SomethingGeneric
Copy link
Copy Markdown
Member

See i knew there was a reason to wait for input

@mchalunderscore mchalunderscore merged commit 8fcef1e into main Sep 10, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants