Skip to content

Add PR checklist doc - #713

Merged
asgrim merged 1 commit into
php:1.5.xfrom
asgrim:pr-checklist-note
Aug 19, 2026
Merged

Add PR checklist doc#713
asgrim merged 1 commit into
php:1.5.xfrom
asgrim:pr-checklist-note

Conversation

@asgrim

@asgrim asgrim commented Aug 19, 2026

Copy link
Copy Markdown
Contributor

PR submitter checklist

  • I have read CONTRIBUTING.md
  • I discussed this doc update with myself.
  • I have added appropriate tests
  • I confirm that I have the right to submit this under the project's open source licence

@asgrim asgrim self-assigned this Aug 19, 2026
@asgrim asgrim added the documentation Improvements or additions to documentation label Aug 19, 2026
@asgrim
asgrim enabled auto-merge August 19, 2026 19:12
@asgrim
asgrim merged commit 3f9e78c into php:1.5.x Aug 19, 2026
32 checks passed
@asgrim
asgrim deleted the pr-checklist-note branch August 19, 2026 19:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant