Skip to content

Add submodule update/init to just gen-project - #3

Merged
torstees merged 2 commits into
mainfrom
add-submodule-to-genproject
Jul 27, 2026
Merged

Add submodule update/init to just gen-project#3
torstees merged 2 commits into
mainfrom
add-submodule-to-genproject

Conversation

@torstees

Copy link
Copy Markdown
Contributor

Small change to make sure the submodule is properly initialized and merged in before the project is built. I'm hopeful this won't mess up the automated doc generation...

@github-actions

github-actions Bot commented Jun 23, 2026

Copy link
Copy Markdown
Contributor
PR Preview Action v1.8.1

QR code for preview link

🚀 View preview at
https://include-dcc.github.io/include-access-model/pr-preview/pr-3/

Built to branch gh-pages at 2026-07-27 19:34 UTC.
Preview will be ready when the GitHub Pages deployment is complete.

@torstees
torstees requested a review from RobertJCarroll June 23, 2026 17:14
@RobertJCarroll

Copy link
Copy Markdown
Collaborator

The github actions are set up to do the full checkout, so that's covered either way.

It looks like this command does update the submodule selected commit- we want to be able to stick to a specific submodule version to manage our deployments.

@torstees

Copy link
Copy Markdown
Contributor Author

It looks like this command does update the submodule selected commit- we want to be able to stick to a specific submodule version to manage our deployments.

Removing the --remote avoids updating the hash. Removing the --merge prevents the command from actually merging the files into the branch.

@torstees
torstees merged commit 3d1c584 into main Jul 27, 2026
6 checks passed
@torstees
torstees deleted the add-submodule-to-genproject branch July 27, 2026 19:47
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.

2 participants