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.

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

Add warning for legacy pull option #452

Closed
EndBug opened this issue Nov 7, 2022 · 0 comments · Fixed by #453
Closed

Add warning for legacy pull option #452

EndBug opened this issue Nov 7, 2022 · 0 comments · Fixed by #453
Assignees
Labels
type: docs Documentation changes

Comments

@EndBug
Copy link
Owner

EndBug commented Nov 7, 2022

In the past you could use NO-PULL as the pull argument. Since it would be pretty rare for someone to actually want to pull a ref called NO-PULL, I could add a warning.

@EndBug EndBug added the type: docs Documentation changes label Nov 7, 2022
@EndBug EndBug self-assigned this Nov 7, 2022
EndBug added a commit that referenced this issue Nov 7, 2022
EndBug added a commit that referenced this issue Nov 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: docs Documentation changes
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant