Skip to content

Conversation

EndBug
Copy link
Owner

@EndBug EndBug commented Aug 22, 2022

This PR adds a fetch input that lets you customize or disable the git fetch command.

Closes #386

@EndBug EndBug added the type: feature New feature or feature request label Aug 22, 2022
@EndBug EndBug self-assigned this Aug 22, 2022
@EndBug EndBug merged commit f7edeca into main Aug 22, 2022
@EndBug EndBug deleted the big-repos branch August 22, 2022 17:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: feature New feature or feature request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Pushing is slower than expected (> 2min)
1 participant