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
Build pipeline workflow does not trigger #673
Comments
I don't think it has to be a double star as @aepfli thought. Git history shows that we have used a single star for pull request since ages. |
Yeah but |
I like just removing the |
Should we do a separate pr, or is it acceptable that we fix this with #670? |
For me it's acceptable - it's really minor, does not affect anyone outside the project and we (kind of) already agreed on the solution. |
I vote for a separate PR to identify the commit with the fix easier in the future (I would not assume that it's in a commit name "update range sources"). |
The build pipeline does not trigger.
According to @aepfli we introduced a bug in the branches section
The text was updated successfully, but these errors were encountered: