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

pull script #898

Merged

jasonkarns merged 3 commits into main from pull-script

May 31, 2024

Member

jasonkarns commented May 31, 2024 •

edited

Loading

Pull script no longer dependent on fetchspec
Pull script ensures clean working directory
Pull script accepts explicit tag to merge

jasonkarns added 3 commits

May 31, 2024 08:37


          PullRbenv script no longer dependent on fetchspec

5e0b8af


          Pull script ensures clean working directory

b612e54


          Pull script accepts explicit tag to merge

27d8b94

jasonkarns merged commit 35929a5 into main

7 checks passed

jasonkarns deleted the pull-script branch

May 31, 2024 13:44

This pull request was closed.

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

Labels

None yet