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

chore: remove executable flag from files which aren't #1044

Merged
merged 1 commit into from
Dec 18, 2023
Merged

chore: remove executable flag from files which aren't #1044

merged 1 commit into from
Dec 18, 2023

Conversation

nschloe
Copy link
Contributor

@nschloe nschloe commented Dec 18, 2023

No description provided.

@akloeckner
Copy link
Collaborator

Nice catch. Thanks!

Would you mind to rebase your PR against the dev branch please? And use a semantic PR title? (i.e. chore: remove executable flag from files which aren't)

@akloeckner akloeckner changed the base branch from master to dev December 18, 2023 11:43
@akloeckner akloeckner changed the title Remove executable flag from files which aren't chore: remove executable flag from files which aren't Dec 18, 2023
@akloeckner
Copy link
Collaborator

I didn't know, I could easily do this myself. :-) Thanks again! 👍

@akloeckner akloeckner merged commit 0c001ee into kalkih:dev Dec 18, 2023
4 of 5 checks passed
@nschloe nschloe deleted the no-exec branch December 18, 2023 11:54
Copy link

🎉 This PR is included in version 0.12.0 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants