Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Urgent merge #759

Merged
merged 2 commits into from
Aug 29, 2024
Merged

Urgent merge #759

merged 2 commits into from
Aug 29, 2024

Conversation

atteggiani
Copy link
Contributor

Urgent merge to make redirection of links active.

Copy link

github-actions bot commented Aug 29, 2024

Development website preview
⚠️ There was an error in the deployment of the development website. For more information, please check the Actions tab.
2024-08-29 17:02 AEST

@atteggiani
Copy link
Contributor Author

Merging this bypassing protection due to urgency. Will check that everything works and nothing breaks :D

@atteggiani atteggiani merged commit c0c3647 into main Aug 29, 2024
6 of 9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant