Skip to content

Fixed filename of extra_reqs files in .gitignore#2222

Merged
andy-maier merged 1 commit into
masterfrom
andy/git-ignore-extra-reqs
Jul 10, 2026
Merged

Fixed filename of extra_reqs files in .gitignore#2222
andy-maier merged 1 commit into
masterfrom
andy/git-ignore-extra-reqs

Conversation

@andy-maier

Copy link
Copy Markdown
Member

No review needed.

Signed-off-by: Andreas Maier <maiera@de.ibm.com>
@andy-maier andy-maier self-assigned this Jul 10, 2026
@andy-maier andy-maier added this to the 1.26.0 milestone Jul 10, 2026
@coveralls

Copy link
Copy Markdown
Collaborator

Coverage Status

coverage: 77.238%. remained the same — andy/git-ignore-extra-reqs into master

@andy-maier andy-maier merged commit 84010b5 into master Jul 10, 2026
11 checks passed
@andy-maier andy-maier deleted the andy/git-ignore-extra-reqs branch July 10, 2026 10:00
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.

2 participants