diff options
| author | Oleksandr Suvorov <oleksandr.suvorov@toradex.com> | 2021-04-09 12:18:16 +0300 |
|---|---|---|
| committer | Oleksandr Suvorov <oleksandr.suvorov@toradex.com> | 2021-04-09 13:28:15 +0300 |
| commit | 6f73903d685a476bbf8bd70bd795b993b4efef60 (patch) | |
| tree | e201b0581d12f76c18a4713ccd9e565c83755b3e /block/blk-settings.c | |
| parent | d38ca13bd7c4fe5dd8830a38031e6ac5b4aa9aac (diff) | |
gitlab-ci: check-patch: fix remote branch issue
If check-patch.pl raises an exception, it may leave the remote source
"check-patch" undeleted. And all further calls on the repo will fail.
Fix this issue, adding the PID modifier to the repote source name and
making removing this source mandatory.
Signed-off-by: Oleksandr Suvorov <oleksandr.suvorov@toradex.com>
Diffstat (limited to 'block/blk-settings.c')
0 files changed, 0 insertions, 0 deletions