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.

Sign up for GitHub

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

Jump to bottom

docs: document platform branch procedure #755

Merged
merged 1 commit into from
Jul 4, 2024
Merged

docs: document platform branch procedure #755

merged 1 commit into from
Jul 4, 2024

Conversation

lsf37
Copy link
Member

@lsf37 lsf37 commented May 24, 2024 •
edited
Loading

Platform branches

  • what they are
  • how they work
  • how to fix them when they break

@lsf37 lsf37 added the docs Documentation, READMEs, etc label May 27, 2024
corlewis
corlewis reviewed May 30, 2024
View reviewed changes
docs/platform-branches.md Outdated Show resolved Hide resolved
michaelmcinerney
michaelmcinerney approved these changes May 31, 2024
View reviewed changes
Copy link
Contributor

@michaelmcinerney michaelmcinerney left a comment

Choose a reason for hiding this comment

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

I'm not sure I can offer anything insightful to say, but the instructions look good to me.

@lsf37
docs: document platform branch procedure
5044eee 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
@lsf37 lsf37 self-assigned this Jul 4, 2024
@lsf37 lsf37 merged commit 5044eee into master Jul 4, 2024
9 checks passed
@lsf37 lsf37 deleted the plat-branch-docs branch July 4, 2024 23:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@corlewis corlewis corlewis left review comments

@Xaphiosis Xaphiosis Xaphiosis left review comments

@michaelmcinerney michaelmcinerney michaelmcinerney approved these changes

Assignees

@lsf37 lsf37

Labels
docs Documentation, READMEs, etc
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@lsf37 @Xaphiosis @corlewis @michaelmcinerney