DGNum/infrastructure
12
6
Fork 2
Code Issues 17 Pull requests 30 Projects 1 Releases Packages Wiki Activity Actions

chore(npins): Update colmena #208

Open
dgnum-chores wants to merge 1 commit from npins-updates/colmena into main
pull from: npins-updates/colmena
merge into: DGNum:main
Conversation 0 Commits 1 Files changed 1 +2 -2
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
npins/sources.json
View file

@ -57,9 +57,9 @@
"url": "https://git.dgnum.eu/DGNum/colmena" "url": "https://git.dgnum.eu/DGNum/colmena"
}, },
"branch": "main", "branch": "main",
"revision": "71b1b660f2cda2e34e134d0028cafbd56bb22008", "revision": "78e9f57b10b3814dc5b7eb43d31ac943700e7170",
"url": null, "url": null,
"hash": "0pkzs70j1qch2238mbpl9aspzbkh0kgab25vnpr37nb75lmq81ij" "hash": "06xwvwgm29h72arwzr6cn2b6xspbldkqg30w8fjgal1h6pfnv9kr"
}, },
"dgsi": { "dgsi": {
"type": "Git", "type": "Git",