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

[docs] Update documentation for main branch getting nightly updates and stable added #3978

Merged
merged 1 commit into from
Jan 29, 2025

Conversation

ematejska
Copy link
Collaborator

Update documentation for main branch getting nightly updates

@ematejska ematejska requested a review from scottamain January 29, 2025 19:33
Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

The PR title does not conform to the '[<Project>] Title' format. Please update the PR title.

Typical [<Project>] values include:

  • [stdlib] — indicates a change to the Mojo standard library code
  • [docs] — indicates a change to the documentation

It's okay to include multiple labels on a PR that affect multiple areas of work.

Thank you for contributing to Mojo!🔥

You can also use a tool like www.regex101.com to see why your PR title fails to conform. Use ^(Revert ")?(\[\S.*\]\s?)+\s+[a-zA-Z`].* as the regex to test and [docs]Update documentation for main branch getting nightly updates as the test string.

@ematejska ematejska changed the title Update documentation for main branch getting nightly updates [docs]Update documentation for main branch getting nightly updates Jan 29, 2025
@ematejska ematejska changed the title [docs]Update documentation for main branch getting nightly updates [docs] Update documentation for main branch getting nightly updates Jan 29, 2025
@github-actions github-actions bot dismissed their stale review January 29, 2025 19:41

All good now, thanks!🫸🫷

@ematejska ematejska changed the title [docs] Update documentation for main branch getting nightly updates [docs] Update documentation for main branch getting nightly updates and stable added Jan 29, 2025
@ematejska ematejska merged commit 76a0af3 into main Jan 29, 2025
8 of 13 checks passed
@ematejska ematejska deleted the update_mojo_main_branch branch January 29, 2025 19:54
@JoeLoser
Copy link
Collaborator

!sync

@JoeLoser JoeLoser restored the update_mojo_main_branch branch January 29, 2025 23:24
@JoeLoser
Copy link
Collaborator

These files are managed internally by Copybara, so we need to sync this internally and merge it too. Otherwise, the next nightly release will just undo your merged changes.

@ematejska ematejska deleted the update_mojo_main_branch branch January 29, 2025 23:47
modularbot pushed a commit that referenced this pull request Feb 1, 2025
Reapply of #3978 internally since it
only got applied/merged externally.

MODULAR_ORIG_COMMIT_REV_ID: 46c2ff83c7f61791c15c4058f69888568581365b
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