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.

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

Jump to bottom

enforce correct .patch(.*) extension for patch files #4247

Merged
merged 3 commits into from Apr 15, 2023
Merged

enforce correct .patch(.*) extension for patch files #4247

merged 3 commits into from Apr 15, 2023

Conversation

branfosj
Copy link
Member

No description provided.

@branfosj branfosj added this to the 5.0 milestone Apr 15, 2023
@branfosj branfosj mentioned this pull request Apr 15, 2023
Merged
8 tasks
@boegel boegel added the change label Apr 15, 2023
boegel
boegel reviewed Apr 15, 2023
View reviewed changes
test/framework/filetools.py Outdated Show resolved Hide resolved
boegel
boegel requested changes Apr 15, 2023
View reviewed changes
test/framework/filetools.py Show resolved Hide resolved
boegel
boegel approved these changes Apr 15, 2023
View reviewed changes
Copy link
Member

@boegel boegel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@boegel boegel enabled auto-merge April 15, 2023 13:42
@boegel boegel merged commit 03155f2 into easybuilders:5.0.x Apr 15, 2023
32 checks passed
@branfosj branfosj deleted the patch branch April 15, 2023 14:02
@boegel boegel changed the title enforce correct extentions for patch files enforce correct extension for patch files May 3, 2023
@boegel boegel changed the title enforce correct extension for patch files enforce correct .patch(.*) extension for patch files May 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@boegel boegel boegel approved these changes

Assignees
No one assigned
Labels
change code cleanup EasyBuild-5.0 EasyBuild 5.0
Projects
EasyBuild v5.0
Status: Done
Milestone
5.0
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@branfosj @boegel