Skip to content

Conversation

@SiarheiFedartsou
Copy link
Member

Issue

What issue is this PR targeting? If there is no issue that addresses the problem, please open a corresponding issue and link it here.

Please read our documentation on release and version management.
If your PR is still work in progress please attach the relevant label.

Tasklist

Requirements / Relations

Link any requirements here. Other pull requests this PR is based on?

@mjjbell mjjbell mentioned this pull request Aug 23, 2022
7 tasks
@SiarheiFedartsou SiarheiFedartsou merged commit df3c553 into master Aug 25, 2022
@SiarheiFedartsou
Copy link
Member Author

@mjjbell could you please check if we allow direct pushes to master? I don't know what happened, but I just rebased this PR and force pushed it and got it automatically merged with no changes - I don't have good explanation for it.

@SiarheiFedartsou
Copy link
Member Author

#6333

@mjjbell
Copy link
Member

mjjbell commented Aug 25, 2022

Yes, master branch is protected, so I'm not sure what happened either.

image

@mjjbell
Copy link
Member

mjjbell commented Aug 25, 2022

Looks like it's a GitHub quirk of pushing master commits to the PR branch.

https://news.ycombinator.com/item?id=32590523

@DennisOSRM DennisOSRM deleted the sf-conan-mason-node branch May 3, 2024 12:28
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.

3 participants