Skip to content

Conversation

@DamienCassou
Copy link

The old URL still works but it seems that the new one contains a more recent version of the rules.

The old URL still works but it seems that the new one contains a more recent version of the rules.
@robin-nitrokey
Copy link
Member

Thanks for the PR! We are currently restructuring this repository so we cannot merge at the moment, but I’ll rebase and merge this PR after #309 has been merged.

@robin-nitrokey robin-nitrokey reopened this Nov 1, 2024
@robin-nitrokey robin-nitrokey self-assigned this Nov 1, 2024
@jans23
Copy link
Member

jans23 commented Nov 13, 2024

Thank you for your contribution. This PR is superseeded by #319.

@jans23 jans23 closed this Nov 13, 2024
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.

3 participants