8000 readme: add blurb on TockWorld7 by bradjc · Pull Request #3806 · tock/tock · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

readme: add blurb on TockWorld7 #3806

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
Merged
merged 1 commit into from
Mar 2, 2024
Merged

readme: add blurb on TockWorld7 #3806

merged 1 commit into from
Mar 2, 2024

Conversation

bradjc
Copy link
Contributor
@bradjc bradjc commented Jan 19, 2024

Pull Request Overview

Advertise TockWorld7.

Testing Strategy

n/a

TODO or Help Wanted

Wording fixes welcome.

We can merge this when we are ready to advertise.

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • Ran make prepush.

ppannuto
ppannuto approved these changes Jan 26, 2024
View reviewed changes
Copy link
Member
@ppannuto ppannuto left a comment

Choose a reason for hiding this comment

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

I think this is good; we should hold two-ish more weeks until we actually have a place for folks to 'get tickets'

@ppannuto ppannuto added the blocked Waiting on something, like a different PR or a dependency. label Jan 26, 2024
brghena
brghena approved these changes Jan 26, 2024
View reviewed changes
Copy link
Contributor
@brghena brghena left a comment

Choose a reason for hiding this comment

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

Although we should be sure that it's okay for people to start buying tickets if we make this public

@alevy alevy added this pull request to the merge queue Mar 2, 2024
@alevy alevy removed the blocked Waiting on something, like a different PR or a dependency. label Mar 2, 2024
Merged via the queue into master with commit a67a57c Mar 2, 2024
@alevy alevy deleted the readme-tockworld branch March 2, 2024 03:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@brghena brghena brghena approved these changes

@ppannuto ppannuto ppannuto approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@bradjc @brghena @ppannuto @alevy
0