opendev/gerrit
Code Issues Proposed changes
Files
5f45e82eb6c1982e91635f392e71071220bf84bb
gerrit/tools/workspace-status.cmd
David Pursehouse e57fe2d300 Don't set workspace root in workspace-status.cmd 
This is not necessary since change I3321f26da.

Change-Id: I50ee5e932c34bbfe66ef8f0714e83145a6c1f865
2019-05-19 23:21:23 +09:00

2 lines
35 B
Batchfile
Raw Blame History

echo STABLE_BUILD_GERRIT_LABEL dev
View Git Blame Copy Permalink