You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is a super minor one, but this script will fail if the user doesn't have gsed installed. Consider adding a check and failing fast with install instructions.
The text was updated successfully, but these errors were encountered:
rules_swc/scripts/mirror_releases.sh
Line 25 in d3cdeca
This is a super minor one, but this script will fail if the user doesn't have gsed installed. Consider adding a check and failing fast with install instructions.
The text was updated successfully, but these errors were encountered: