Skip to content
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

Indent org billable owner notice for new codespaces #5828

Merged
merged 2 commits into from Jun 21, 2022

Conversation

jshorty
Copy link
Contributor

@jshorty jshorty commented Jun 21, 2022

Per design feedback on internal codespaces issue 8227, just adds 2 spaces of indentation below the repository prompt (please ignore my terminal's weird broken line height):

Screen Shot 2022-06-20 at 9 53 34 PM

@jshorty jshorty requested a review from as a code owner Jun 21, 2022
@cliAutomation
Copy link
Collaborator

@cliAutomation cliAutomation commented Jun 21, 2022

Hi! Thanks for the pull request. Please ensure that this change is linked to an issue by mentioning an issue number in the description of the pull request. If this pull request would close the issue, please put the word 'Fixes' before the issue number somewhere in the pull request body. If this is a tiny change like fixing a typo, feel free to ignore this message.

@cliAutomation cliAutomation added the external label Jun 21, 2022
@cliAutomation cliAutomation added this to Needs review 🤔 in The GitHub CLI Jun 21, 2022
mislav
mislav approved these changes Jun 21, 2022
The GitHub CLI automation moved this from Needs review 🤔 to Needs to be merged 🎉 Jun 21, 2022
@mislav
Copy link
Member

@mislav mislav commented Jun 21, 2022

@jshorty Thanks: note tests are broken

@jshorty jshorty merged commit 5893c98 into trunk Jun 21, 2022
10 checks passed
@jshorty jshorty deleted the jshorty/indent-billable-owner-notice branch Jun 21, 2022
The GitHub CLI automation moved this from Needs to be merged 🎉 to Pending Release 🥚 Jun 21, 2022
@github-actions github-actions bot moved this from Pending Release 🥚 to Done 💤 in The GitHub CLI Jun 22, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
external
Projects
The GitHub CLI
  
Done 💤
Development

Successfully merging this pull request may close these issues.

None yet

4 participants