leanprover-contrib/update-versions
create and update lean-x.y.z release branches
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| remote | Which remote to push to | no | origin |
Outputs
no outputs