Skip to content

Pin commit in repos#35

Open
rubencabrera wants to merge 4 commits into12from
34-pin-commit-in-repos
Open

Pin commit in repos#35
rubencabrera wants to merge 4 commits into12from
34-pin-commit-in-repos

Conversation

@rubencabrera
Copy link
Copy Markdown
Owner

To fix #34

This intends to pull the branch and checkout the right commit. If changes have happened might be a bit tricky, but still figuring it out.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

FEAT: Pin commit in repo pulling.

1 participant