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
ci: add ci/scratch dir to .gitignore #24601
Conversation
Do you mean running |
I am running |
edc8003
to
e10895d
Compare
force pushed to remove the comment per @MarcoFalke 's suggestion; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
ACK e10895d
28bb07a
to
7027595
Compare
force pushed to add suggestion from @hebasto ; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
re-ACK 7027595, tested on Ubuntu 22.04.
7027595 add ci/scratch dir to gitignore (josibake) Pull request description: Not sure if I'm missing some context as to why this isn't already ignored? ACKs for top commit: hebasto: re-ACK 7027595, tested on Ubuntu 22.04. Tree-SHA512: 1f13041cb27cd3687619105ac1bb3af4c31d000fcd98e5f84160c34649de532fcd8b98cb8a5bed0ba68e25b3bb344f669ea3567b9c9d86cf73386ddf276f292e
Not sure if I'm missing some context as to why this isn't already ignored?