New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add license to get_workspace_status & move to .sh #4337
Add license to get_workspace_status & move to .sh #4337
Conversation
/assign @chrislovecnm |
/lgtm |
/retest |
/retest |
/lgtm cancel //PR changed after LGTM, removing LGTM. @chrislovecnm @mikesplain |
/assign @robinpercy |
/lgtm - and thanks for spotting that the extension / license was not valid. This was indeed the intended license :-) |
[APPROVALNOTIFIER] This PR is APPROVED This pull-request has been approved by: chrislovecnm, justinsb, mikesplain The full list of commands accepted by this bot can be found here.
Needs approval from an approver in each of these OWNERS Files:
You can indicate your approval by writing |
Add license, and move to a .sh file so the linter picks this up in the future.