We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
sl pr submit for some reason does not start jobs (#1001).
sl pr submit
sl pr submit could create a local branch matching remote branch (prNNNN), so git push -f could be used as workaround.
prNNNN
git push -f
The text was updated successfully, but these errors were encountered:
No branches or pull requests
sl pr submit
for some reason does not start jobs (#1001).sl pr submit
could create a local branch matching remote branch (prNNNN
), sogit push -f
could be used as workaround.The text was updated successfully, but these errors were encountered: