Skip to content

Conversation

paddyroddy
Copy link
Member

Part of #260

@paddyroddy paddyroddy self-assigned this Oct 22, 2024
@paddyroddy paddyroddy mentioned this pull request Oct 22, 2024
1 task
@samcunliffe samcunliffe changed the title Once #471 is merged, we should encoruage checkout latest Once #471 is merged, we should encorage checkout latest Oct 22, 2024
Copy link
Member

@samcunliffe samcunliffe left a comment

Choose a reason for hiding this comment

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

Oh! There's nothing stopping us tagging the HEAD of main now (perhaps on merge of this).

Then these instructions will work, even before we finalise #471.

@paddyroddy
Copy link
Member Author

Oh! There's nothing stopping us tagging the HEAD of main now (perhaps on merge of this).

Then these instructions will work, even before we finalise #471.

Good point! Will merge this and make the tag

@paddyroddy paddyroddy merged commit f07df2d into main Oct 23, 2024
13 checks passed
@paddyroddy paddyroddy deleted the paddy/document-latest branch October 23, 2024 07:08
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