Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / leanprover-contrib/update-versions-action issues and pull requests

#5 - add current repo to safe.directory

Pull Request - State: closed - Opened by collares about 2 years ago

#4 - Switch to a non-deprecated base image and add grep version for the P option

Pull Request - State: closed - Opened by alexjbest over 2 years ago - 2 comments

#3 - Docker image is deprecated

Issue - State: closed - Opened by alexjbest over 2 years ago

#2 - sometimes master is called main

Pull Request - State: closed - Opened by alexjbest almost 3 years ago - 1 comment

#1 - Action creates `lean-` branch.

Issue - State: closed - Opened by gebner almost 4 years ago