Skip to content

chore: update devcontainer.json#523

Merged
northword merged 1 commit intomainfrom
fix-devcontainer
Jul 18, 2025
Merged

chore: update devcontainer.json#523
northword merged 1 commit intomainfrom
fix-devcontainer

Conversation

@northword
Copy link
Member

same with zotero-chinese/wiki#400

resolve:
PixPin_2025-07-18_15-48-37

@northword northword added the dependencies Pull requests that update a dependency file label Jul 18, 2025
@northword northword enabled auto-merge (squash) July 18, 2025 07:49
@northword northword merged commit 30a6e05 into main Jul 18, 2025
10 of 11 checks passed
@northword northword deleted the fix-devcontainer branch July 18, 2025 07:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant