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.

Sign up for GitHub

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

Jump to bottom

Add a task to figure out GitHub org (username) and repo name #283

Closed
kevin-lee opened this issue Sep 18, 2021 · 0 comments · Fixed by #284
Closed

Add a task to figure out GitHub org (username) and repo name #283

kevin-lee opened this issue Sep 18, 2021 · 0 comments · Fixed by #284
Assignees
@kevin-lee
Labels
task Task to do
Milestone
milestone19

Comments

@kevin-lee
Copy link
Owner

kevin-lee commented Sep 18, 2021 •
edited
Loading

Task

Summary

Add a task to figure out GitHub org (username) and repo name

Project Details

Version: 2.9.0
@kevin-lee kevin-lee added the task Task to do label Sep 18, 2021
@kevin-lee kevin-lee added this to the milestone19 milestone Sep 18, 2021
@kevin-lee kevin-lee self-assigned this Sep 18, 2021
@kevin-lee kevin-lee changed the title Add a way to figure out GitHub username and repo name Add a task to figure out GitHub username and repo name Sep 18, 2021
kevin-lee added a commit that referenced this issue Sep 18, 2021
@kevin-lee
Close #283 - Add a task to figure out GitHub username and repo name
5196c41
@kevin-lee kevin-lee changed the title Add a task to figure out GitHub username and repo name Add a task to figure out GitHub org (username) and repo name Sep 18, 2021
kevin-lee added a commit that referenced this issue Sep 18, 2021
@kevin-lee
Close #283 - Add a task to figure out GitHub org (username) and repo …
31fa4bc 
…name
@kevin-lee kevin-lee mentioned this issue Sep 18, 2021
Merged
kevin-lee added a commit that referenced this issue Sep 18, 2021
@kevin-lee
Close #283 - Add a task to figure out GitHub org (username) and repo …
a00b077 
…name
kevin-lee added a commit that referenced this issue Sep 18, 2021
@kevin-lee
fixup! Close #283 - Add a task to figure out GitHub org (username) an…
4ffe305 
…d repo name
kevin-lee added a commit that referenced this issue Sep 18, 2021
@kevin-lee
Close #283 - Add a task to figure out GitHub org (username) and repo …
c3bbe71 
…name
kevin-lee added a commit that referenced this issue Sep 18, 2021
@kevin-lee
Merge pull request #284 from Kevin-Lee/task/283/github-username-and-r…
508d3ab 
…epo-name

Close #283 - Add a task to figure out GitHub org (username) and repo name
This was referenced Sep 18, 2021
Closed
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@kevin-lee kevin-lee

Labels
task Task to do
Projects
None yet
Milestone
milestone19
Development

Successfully merging a pull request may close this issue.

Close #283 - Add a task to figure out GitHub org (username) and repo name kevin-lee/sbt-devoops
1 participant
@kevin-lee