Skip to content

[DO_NOT_MERGE] Update scripts so that they are compatible with bash and zsh. #5809

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom
Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

[DO_NOT_MERGE] Update scripts so that they are compatible with bash and zsh. #5809

wants to merge 2 commits into from

Conversation

corneil
Copy link
Contributor

@corneil corneil commented May 13, 2024

No description provided.

@corneil corneil requested review from cppwfs and onobc May 13, 2024 09:37
@onobc onobc changed the title Update scripts so that they are compatible with bash and zsh. [DO_NOT_MERGE] Update scripts so that they are compatible with bash and zsh. May 13, 2024
@onobc onobc added this to the 2.11.x milestone May 13, 2024
@corneil corneil force-pushed the main branch 2 times, most recently from c0462f2 to f0fb797 Compare August 8, 2024 11:55
@cppwfs cppwfs removed this from the 2.11.x milestone Sep 5, 2024
@cppwfs cppwfs added the for/team-attention For team attention label Sep 5, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@cppwfs cppwfs Awaiting requested review from cppwfs

@onobc onobc Awaiting requested review from onobc

Assignees
No one assigned
Labels
for/team-attention For team attention
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@corneil @cppwfs @onobc