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

Revert changes to fix CI #219

Merged
merged 1 commit into from
May 20, 2024
Merged

Revert changes to fix CI #219

merged 1 commit into from
May 20, 2024

Conversation

m-mohr
Copy link
Collaborator

@m-mohr m-mohr commented May 19, 2024

Reverting the recent CI breaking changes for now to unblock other PRs.

The changes that we revert here are preserved via #220

… document template (#206)"

This reverts commit 5d67a9c.
Revert "Update README.md (#214)"

This reverts commit 471a2f8.
Revert "Updated the list of submitting organizations"

This reverts commit 2aa0668.
Revert "Updated the list of Submitting Organizations"

This reverts commit a727140.
Copy link
Member

@cholmes cholmes left a comment

Choose a reason for hiding this comment

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

Thanks for reverting this. Let's at least get in the notification that it's a draft spec in soon - I'll make a PR for that. And I'll work on a PR to get this back in to the repo, but not breaking the build and confusing people with the readme template.

@cholmes cholmes merged commit fcb3b3a into main May 20, 2024
2 checks passed
@cholmes cholmes deleted the revert-template branch May 20, 2024 02:42
@cholmes
Copy link
Member

cholmes commented May 20, 2024

And I'll work on a PR to get this back in to the repo,

And of course @m-mohr already has a PR ready at #220 :) Thanks!

@m-mohr
Copy link
Collaborator Author

m-mohr commented May 20, 2024

Not quite, #220 is the full set of changes from Gobe with the breaking change. We should probably cherry pick the Markdown changes that add the note from there. Can do it later...

@m-mohr
Copy link
Collaborator Author

m-mohr commented May 20, 2024

... Or we just use #205

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