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

Available versions for GitHub CLI #917

Closed
sarahffm opened this issue Sep 29, 2022 · 2 comments
Closed

Available versions for GitHub CLI #917

sarahffm opened this issue Sep 29, 2022 · 2 comments
Assignees
@sarahffm
Labels
commandlet related to commandlets (scripts/command/*) enhancement New feature or request mirrors ide-mirrors repository (deprecated/obsolete)
Milestone
mirrors

Comments

@sarahffm
Copy link
Contributor

sarahffm commented Sep 29, 2022 •
edited
Loading

As a devon IDE user, I want to know which versions are available for GitHub CLI so that I can easily switch versions.

The versions-url and (if necessary) versions-url-op in ide-mirrors are missing for GitHub CLI (gh).

Related Issue:
#826
@sarahffm sarahffm added the enhancement New feature or request label Sep 29, 2022
@sarahffm sarahffm self-assigned this Oct 4, 2022
sarahffm added a commit to sarahffm/ide-mirrors that referenced this issue Oct 4, 2022
@sarahffm
devonfw/ide#917: Add required files
9baaedd
sarahffm added a commit to sarahffm/ide-mirrors that referenced this issue Oct 4, 2022
@sarahffm
devonfw/ide#917: Add newline
47f4294
sarahffm added a commit to sarahffm/ide-mirrors that referenced this issue Oct 4, 2022
@sarahffm
devonfw/ide#917: Corrected version format
8ea8a18
sarahffm added a commit to sarahffm/ide-mirrors that referenced this issue Oct 4, 2022
@sarahffm
devonfw/ide#917: Change permission
dbfba3f
@sarahffm sarahffm mentioned this issue Oct 4, 2022
Merged
@tobka777 tobka777 added commandlet related to commandlets (scripts/command/*) Team_IDE labels Oct 4, 2022
@hohwille hohwille added Prio middle mirrors ide-mirrors repository (deprecated/obsolete) labels Oct 13, 2022
@tobka777
Copy link
Member

@hohwille I think this is already done or is there an other related PR. See: devonfw/ide-mirrors#36

@hohwille hohwille added this to the mirrors milestone Nov 14, 2022
@hohwille
Copy link
Member

Closing as this is already done. We will do further improvements with #941

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sarahffm sarahffm

Labels
commandlet related to commandlets (scripts/command/*) enhancement New feature or request mirrors ide-mirrors repository (deprecated/obsolete)
Projects
None yet
Milestone
mirrors
Development

No branches or pull requests
3 participants
@hohwille @tobka777 @sarahffm