Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / sjtug/mirror-clone issues and pull requests
#130 - fix(ghcup): sig
Pull Request -
State: closed - Opened by PhotonQuantum 7 months ago
#129 - Revert "fix(ghcup): sig"
Pull Request -
State: closed - Opened by PhotonQuantum 7 months ago
#128 - fix(ghcup): sig
Pull Request -
State: closed - Opened by PhotonQuantum 7 months ago
#127 - elan: add `proofwidgets`
Pull Request -
State: closed - Opened by timechess 7 months ago
- 1 comment
#126 - elan: add `glean`
Pull Request -
State: closed - Opened by alissa-tung over 1 year ago
- 1 comment
#125 - elan: put lean release in leanprover/lean4
Pull Request -
State: closed - Opened by alissa-tung over 1 year ago
#124 - lean: init elan
Pull Request -
State: closed - Opened by alissa-tung over 1 year ago
#123 - chore(pypi): do not generate index
Pull Request -
State: closed - Opened by PhotonQuantum over 1 year ago
#122 - chore(pypi): reduce verbosity
Pull Request -
State: closed - Opened by PhotonQuantum over 1 year ago
#121 - fix: no proxy on gcp apis
Pull Request -
State: closed - Opened by PhotonQuantum over 1 year ago
#120 - feat(pypi): download trending packages and latest versions only
Pull Request -
State: closed - Opened by PhotonQuantum over 1 year ago
#119 - chore(deps): bump tokio from 1.23.0 to 1.24.2
Pull Request -
State: open - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies
#118 - chore(deps): bump bzip2 from 0.4.3 to 0.4.4
Pull Request -
State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies
#118 - chore(deps): bump bzip2 from 0.4.3 to 0.4.4
Pull Request -
State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies
#117 - chore(deps): bump tokio from 1.23.0 to 1.23.1
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#116 - ci: use musl
Pull Request -
State: closed - Opened by PhotonQuantum about 2 years ago
#116 - ci: use musl
Pull Request -
State: closed - Opened by PhotonQuantum about 2 years ago
#115 - fix: downgrade ci build image
Pull Request -
State: closed - Opened by PhotonQuantum about 2 years ago
#114 - fix: use rustls to avoid openssl version problems
Pull Request -
State: closed - Opened by PhotonQuantum about 2 years ago
- 1 comment
#114 - fix: use rustls to avoid openssl version problems
Pull Request -
State: closed - Opened by PhotonQuantum about 2 years ago
- 1 comment
#113 - Support for experimental mirror config mechanism (ghcup)
Pull Request -
State: closed - Opened by PhotonQuantum about 2 years ago
- 1 comment
#113 - Support for experimental mirror config mechanism (ghcup)
Pull Request -
State: closed - Opened by PhotonQuantum about 2 years ago
- 1 comment
#112 - fix(github-release): release item name can be null
Pull Request -
State: closed - Opened by PhotonQuantum about 2 years ago
#112 - fix(github-release): release item name can be null
Pull Request -
State: closed - Opened by PhotonQuantum about 2 years ago
#111 - chore(deps): bump crossbeam-utils from 0.8.5 to 0.8.10
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#111 - chore(deps): bump crossbeam-utils from 0.8.5 to 0.8.10
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#110 - conda: reduce memory usage
Pull Request -
State: closed - Opened by PhotonQuantum over 2 years ago
#110 - conda: reduce memory usage
Pull Request -
State: closed - Opened by PhotonQuantum over 2 years ago
#109 - chore(deps): bump thread_local from 1.1.3 to 1.1.4
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#109 - chore(deps): bump thread_local from 1.1.3 to 1.1.4
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#108 - chore(deps): bump regex from 1.5.4 to 1.5.5
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#108 - chore(deps): bump regex from 1.5.4 to 1.5.5
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#107 - chore(deps): bump tokio from 1.12.0 to 1.13.1
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#107 - chore(deps): bump tokio from 1.12.0 to 1.13.1
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#106 - chore(deps): bump crossbeam-utils from 0.8.5 to 0.8.8
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#106 - chore(deps): bump crossbeam-utils from 0.8.5 to 0.8.8
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#105 - fix(ghcup): migrate to github config repo
Pull Request -
State: closed - Opened by PhotonQuantum about 3 years ago
#105 - fix(ghcup): migrate to github config repo
Pull Request -
State: closed - Opened by PhotonQuantum about 3 years ago
#104 - feat: migrate rustup to mirror-clone v2
Pull Request -
State: closed - Opened by skyzh about 3 years ago
#104 - feat: migrate rustup to mirror-clone v2
Pull Request -
State: closed - Opened by skyzh about 3 years ago
#103 - Checksum validation
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
- 1 comment
#103 - Checksum validation
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
- 1 comment
#102 - fix(ghcup): download yaml config from webhost
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
#102 - fix(ghcup): download yaml config from webhost
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
#101 - fix: missing dependency
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
#101 - fix: missing dependency
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
#100 - support new ghcup metadata path
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
#100 - support new ghcup metadata path
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
#99 - Feat filter pipe
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
#99 - Feat filter pipe
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
#98 - new method to fetch ghcup yaml
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
#98 - new method to fetch ghcup yaml
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
#97 - chore: bump ghcup yaml version to 0.0.7
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
- 5 comments
#97 - chore: bump ghcup yaml version to 0.0.7
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
- 5 comments
#96 - chore: bump ghcup yaml version
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
#96 - chore: bump ghcup yaml version
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
#95 - Fix ghcup stack
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
#95 - Fix ghcup stack
Pull Request -
State: closed - Opened by PhotonQuantum over 3 years ago
#94 - *: bump dependencies
Pull Request -
State: closed - Opened by skyzh over 3 years ago
#93 - homebrew: support ghcr.io
Pull Request -
State: closed - Opened by skyzh over 3 years ago
#93 - homebrew: support ghcr.io
Pull Request -
State: closed - Opened by skyzh over 3 years ago
#92 - gradle: migrate to v2
Pull Request -
State: closed - Opened by skyzh over 3 years ago
- 3 comments
#92 - gradle: migrate to v2
Pull Request -
State: closed - Opened by skyzh over 3 years ago
- 3 comments
#91 - pypi: fix missing packages
Pull Request -
State: closed - Opened by skyzh over 3 years ago
#91 - pypi: fix missing packages
Pull Request -
State: closed - Opened by skyzh over 3 years ago
#90 - pypi: simply ignore invalid url
Pull Request -
State: closed - Opened by skyzh over 3 years ago
#90 - pypi: simply ignore invalid url
Pull Request -
State: closed - Opened by skyzh over 3 years ago
#89 - pypi: limit index to 2 levels
Pull Request -
State: closed - Opened by skyzh over 3 years ago
#89 - pypi: limit index to 2 levels
Pull Request -
State: closed - Opened by skyzh over 3 years ago
#88 - pypi: fix missing packages
Pull Request -
State: closed - Opened by skyzh over 3 years ago
#88 - pypi: fix missing packages
Pull Request -
State: closed - Opened by skyzh over 3 years ago
#87 - pypi: only allow `.whl` to be mirrored
Pull Request -
State: closed - Opened by skyzh over 3 years ago
#87 - pypi: only allow `.whl` to be mirrored
Pull Request -
State: closed - Opened by skyzh over 3 years ago
#86 - rsync: warn on symbolic links
Pull Request -
State: closed - Opened by skyzh over 3 years ago
#86 - rsync: warn on symbolic links
Pull Request -
State: closed - Opened by skyzh over 3 years ago
#85 - rustup: fix wrong info
Pull Request -
State: closed - Opened by skyzh over 3 years ago
#85 - rustup: fix wrong info
Pull Request -
State: closed - Opened by skyzh over 3 years ago
#84 - test: force metadata from file ext
Pull Request -
State: closed - Opened by skyzh almost 4 years ago
#84 - test: force metadata from file ext
Pull Request -
State: closed - Opened by skyzh almost 4 years ago
#83 - transfer: force all
Pull Request -
State: closed - Opened by skyzh almost 4 years ago
#83 - transfer: force all
Pull Request -
State: closed - Opened by skyzh almost 4 years ago
#82 - s3: mirror content type from HTTP
Pull Request -
State: closed - Opened by skyzh almost 4 years ago
#82 - s3: mirror content type from HTTP
Pull Request -
State: closed - Opened by skyzh almost 4 years ago
#81 - *: bump dependencies
Pull Request -
State: closed - Opened by skyzh almost 4 years ago
#81 - *: bump dependencies
Pull Request -
State: closed - Opened by skyzh almost 4 years ago
#80 - ghcup: remove custom last_modified fetching
Pull Request -
State: closed - Opened by PhotonQuantum almost 4 years ago
#80 - ghcup: remove custom last_modified fetching
Pull Request -
State: closed - Opened by PhotonQuantum almost 4 years ago
#79 - stream: compare modified at
Pull Request -
State: closed - Opened by skyzh almost 4 years ago
- 1 comment
#79 - stream: compare modified at
Pull Request -
State: closed - Opened by skyzh almost 4 years ago
- 1 comment
#78 - feat: ghcup
Pull Request -
State: closed - Opened by PhotonQuantum almost 4 years ago
- 1 comment
#78 - feat: ghcup
Pull Request -
State: closed - Opened by PhotonQuantum almost 4 years ago
- 1 comment
#77 - feat: merge pipe
Pull Request -
State: closed - Opened by PhotonQuantum almost 4 years ago
- 1 comment
#77 - feat: merge pipe
Pull Request -
State: closed - Opened by PhotonQuantum almost 4 years ago
- 1 comment
#76 - target: drop mirror-intel support
Pull Request -
State: closed - Opened by PhotonQuantum almost 4 years ago
#76 - target: drop mirror-intel support
Pull Request -
State: closed - Opened by PhotonQuantum almost 4 years ago
#75 - dart: support v2
Pull Request -
State: closed - Opened by skyzh almost 4 years ago
#75 - dart: support v2
Pull Request -
State: closed - Opened by skyzh almost 4 years ago
#74 - repos: disallow wrong base
Pull Request -
State: closed - Opened by skyzh almost 4 years ago
#74 - repos: disallow wrong base
Pull Request -
State: closed - Opened by skyzh almost 4 years ago
#73 - homebrew: panic if not the same base
Pull Request -
State: closed - Opened by skyzh almost 4 years ago