Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Without the parens around the pattern, this will match any git commit that starts with 4 decimal digits. I suspect that wasn't the intention. Signed-off-by: Roger Peppe <[email protected]> Change-Id: Id270f9a1a050dd7d63122ae7dcd96db926d1f1f5 Reviewed-on: https://review.gerrithub.io/c/cue-sh/tools/+/1176396 TryBot-Result: CUEcueckoo <[email protected]> Reviewed-by: Daniel Martí <[email protected]>
- Loading branch information