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

update_dev_pkg not serving recent dev pkg anymore #5718

Closed
jangorecki opened this issue Nov 3, 2023 · 0 comments · Fixed by #5719 or #5720
Closed

update_dev_pkg not serving recent dev pkg anymore #5718

jangorecki opened this issue Nov 3, 2023 · 0 comments · Fixed by #5719 or #5720
Assignees
@jangorecki
Labels
ci
Milestone
1.14.10

Comments

@jangorecki
Copy link
Member

jangorecki commented Nov 3, 2023 •
edited
Loading

gitlab is not currently releasing dev pkg therefore update_dev_pkg not serving recent devel. We could point it to GH R repo if we have one. Could be very simple, only source pkg. It just needs some CI updates on GH, which could be covered by setting up pkgup in #5690
Although website will still be a bit out of date.
that could possibly still qualify for 1.14.10 milestone.
@jangorecki jangorecki self-assigned this Nov 3, 2023
@jangorecki jangorecki added the ci label Nov 3, 2023
@jangorecki jangorecki linked a pull request Nov 3, 2023 that will close this issue
update_dev_pkg uses GH for R repo #5719
Merged
@jangorecki jangorecki added this to the 1.14.9 milestone Nov 3, 2023
@jangorecki jangorecki linked a pull request Nov 3, 2023 that will close this issue
update_dev_pkg uses GH for R repo (in master branch as well) #5720
Merged
@jangorecki jangorecki mentioned this issue Nov 24, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jangorecki jangorecki

Labels
ci
Projects
None yet
Milestone
1.14.10
1 participant
@jangorecki