Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / microsoft/verus-copilot-vscode issues and pull requests
#13 - Shantemp
Pull Request -
State: closed - Opened by celbree about 1 month ago
#12 - minor prompt adjustment
Pull Request -
State: closed - Opened by arsene1995 about 1 month ago
#11 - Update README.md
Pull Request -
State: closed - Opened by arsene1995 about 1 month ago
#10 - a test workspace project
Pull Request -
State: closed - Opened by arsene1995 about 1 month ago
#9 - Update python codes to support project level codes
Pull Request -
State: closed - Opened by sunqinzheng about 1 month ago
#8 - Update python codes to support project level codes
Pull Request -
State: closed - Opened by celbree about 1 month ago
- 1 comment
#7 - cleaned up python code
Pull Request -
State: closed - Opened by arsene1995 about 2 months ago
#6 - compliance related updates
Pull Request -
State: closed - Opened by sunqinzheng 2 months ago
#5 - Bump micromatch from 4.0.7 to 4.0.8
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies, javascript
#4 - fix readme markdown
Pull Request -
State: closed - Opened by sunqinzheng 3 months ago
#3 - Action required: migrate or opt-out of migration to GitHub inside Microsoft
Issue -
State: closed - Opened by microsoft-github-policy-service[bot] 3 months ago
- 4 comments
#2 - update regex's version in verus-syn's example
Pull Request -
State: closed - Opened by sunqinzheng 4 months ago
#1 - init
Pull Request -
State: closed - Opened by sunqinzheng 4 months ago
#1 - init
Pull Request -
State: closed - Opened by sunqinzheng 4 months ago