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

Periodical merge #705

Merged
merged 24 commits into from
Jul 19, 2024
Merged

Periodical merge #705

merged 24 commits into from
Jul 19, 2024

Conversation

atteggiani
Copy link
Contributor

Periodical merge of development into main.

flicj191 and others added 24 commits June 19, 2024 12:36
rewording
…-OM to make it clearer. Minor modificiations
Updated by revising Anton's suggestions.
…access-om2-instructions-more-obvious

Make syncing laboratory directory clearer before running ACCESS-OM
@atteggiani atteggiani requested a review from a team July 17, 2024 01:44
Copy link

github-actions bot commented Jul 17, 2024

Development website preview
🛬 Preview removed because the pull request was closed.
2024-07-19 11:42 AEST

Copy link
Contributor

@flicj191 flicj191 left a comment

Choose a reason for hiding this comment

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

Thanks!
not sure why it's out of date from main though but fine to update

@atteggiani
Copy link
Contributor Author

Thanks! not sure why it's out of date from main though but fine to update

What do you mean?

@flicj191
Copy link
Contributor

Thanks! not sure why it's out of date from main though but fine to update

What do you mean?

just below the checks it just says the branch is out of date with main. just needs to be updated to merge

@atteggiani
Copy link
Contributor Author

Thanks! not sure why it's out of date from main though but fine to update

What do you mean?

just below the checks it just says the branch is out of date with main. just needs to be updated to merge

Yeah I see.
I think that happens because there are commits in main which are not present in development, but there are no file changed. The only difference in the history (before the current main HEAD) seems to be the merge commit 63da5242d6d8d6d6cf2545d9904527644567c84d related to #690:

$ git log development..main

commit 63da5242d6d8d6d6cf2545d9904527644567c84d (origin/main, origin/HEAD, main)
Merge: a6f1023 ed4e650
Author: Davide Marchegiani <[email protected]>
Date:   Thu Jun 6 10:32:07 2024 +1000

Merge pull request #690 from ACCESS-NRI/development

Periodical merge

Not sure why this is happening, but I would not worry for now.

@atteggiani atteggiani merged commit 233a1a3 into main Jul 19, 2024
12 of 13 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.

3 participants