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

@rmunn's open pull requests #7740

Open
rmunn opened this issue Sep 13, 2023 · 3 comments
Open

@rmunn's open pull requests #7740

rmunn opened this issue Sep 13, 2023 · 3 comments

Comments

@CodaCodr
Copy link
Contributor

It's a useful technique we use in our shop. We prefix the title with [META] or [METABUG]. Mozilla (Bugzilla) does the same.

@Jermolene
Copy link
Owner

Thanks @rmunn – I've merged #7703, #7712, and #7715, and raised a question at #7690.

#6896 and #7683 look good so far. @7694 will need a tiny bit of extra work if we opt for #7710 instead of #7691

@rmunn
Copy link
Contributor Author

rmunn commented Sep 27, 2023

#7690 is ready to merge now; your suggestion was a good one and I've implemented it.

I've also created #7755 which targets not master, but the target branch of your PR #7698. More details over at #7755.

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

No branches or pull requests

3 participants