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

Correct accepted-proposal link #3516

Merged

zygoloid merged 1 commit into carbon-language:trunk from geoffromer:proposal-search

Dec 15, 2023

Contributor

geoffromer commented Dec 15, 2023

It looks like we haven't used the "proposal accepted" label in about a year.


Correct accepted-proposal link

fa72aca

It looks like we haven't used the "proposal accepted" label in about a year.

github-actions bot requested a review from chandlerc

December 15, 2023 18:49

zygoloid approved these changes

View reviewed changes

Contributor

zygoloid left a comment

LG. I wonder if we should either auto-apply the label or remove it.

zygoloid added this pull request to the merge queue

Merged via the queue into carbon-language:trunk with commit 9a7b7c2

8 checks passed

geoffromer deleted the proposal-search branch

December 15, 2023 22:33

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment