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

prefer stable branch #4

Merged

tibotiber merged 1 commit into tibotiber:master from chrisknu:master

Jul 9, 2020

chrisknu commented Jul 8, 2020

The master branch contains a | sed ... command that broke my CI pipeline earlier today. This PR prefers the stable branch (no |sed)


          prefer stable branch

803886b

Owner

tibotiber commented Jul 9, 2020

Looks good to me. Thanks for the change :).

tibotiber merged commit 8f43604 into tibotiber:master

Owner

tibotiber commented Jul 9, 2020 •

edited

Loading

This is now published as v1.3 to the marketplace (release)

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet