Skip to content

a real pr, serious - #36

Open
zzzeek wants to merge 1 commit into
mainfrom
now_a_real_pr
Open

a real pr, serious#36
zzzeek wants to merge 1 commit into
mainfrom
now_a_real_pr

Conversation

@zzzeek

@zzzeek zzzeek commented Aug 10, 2026

Copy link
Copy Markdown
Member

Fixes: #33
Change-Id: I55a001c1ba699e8ad4f95ce5f02075e4f2b618bc

This project accepts pull requests only for issues that a maintainer has
marked with the open for pull requests label.

A pull request that does not reference an issue, or that references an issue
which is closed or which does not carry the open for pull requests label,
is closed automatically. This is not a judgment on your change; it's how we
make sure an approach is settled before anyone spends time writing code.

If you don't have such an issue yet:

  1. Open an issue describing the problem or the feature, including a complete,
    runnable example.
  2. Wait for a maintainer to add the open for pull requests label.
  3. Then open this pull request, referencing the issue below.

Fixes

Fixes: #

Description

Fixes: #33
Change-Id: I55a001c1ba699e8ad4f95ce5f02075e4f2b618bc
@sqla-tester

Copy link
Copy Markdown
Collaborator

Thanks! Issue #33 is now marked code review in progress and no longer open for pull requests, so this pull request holds the review for it and another one won't land on top of your work. If this pull request is abandoned, a maintainer can put open for pull requests back on #33 to reopen it to others.

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.

a useless issue so that you may review my useless pull request

2 participants