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

2025 soccer draft rules global rules #125

Merged

Conversation

mrshu
Copy link
Contributor

@mrshu mrshu commented Nov 13, 2024

Please describe your change in one or two sentences

Add the Global Rules as a submodule of its repository (https://github.com/robocup-junior/general-rules) and include it in the rule text (via the include command).

Please explain why do you think this change should be in the rules

To make sure the General Rules are included inside the text of the soccer rules.

* Include the general rules from the `general-rules` submodule

* Update the .github/workflows/build.yml to use a new version of the
  `checkout` action.

Signed-off-by: mr.Shu <[email protected]>
* Make sure the General Rules are discrete.

Signed-off-by: mr.Shu <[email protected]>
@@ -4,7 +4,9 @@ jobs:
name: build
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- uses: actions/checkout@v4
Copy link
Contributor Author

Choose a reason for hiding this comment

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

@dbscoach @Adman I took the liberty of bumping this up to both make sure the submodules part works and that we don't get notified about it being deprecated.

@@ -17,7 +17,7 @@ endif::basebackend-html[]
:icons: font
:numbered:

These are the Soccer rules for RoboCupJunior 2024. They are released
These are the Soccer rules for RoboCupJunior 2025. They are released
Copy link
Contributor Author

Choose a reason for hiding this comment

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

@javier687 thanks a bunch for pointing this out!

* Make sure the logos are shown on the first page too

Signed-off-by: mr.Shu <[email protected]>
@mrshu mrshu force-pushed the 2025-soccer-draft-rules-global-rules branch from c9692f4 to 4b48d50 Compare November 14, 2024 23:18
@dbscoach dbscoach merged commit 245e2cb into 2025-soccer-draft-rules Nov 27, 2024
1 check 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.

3 participants