1
0
mirror of https://github.com/arduino/library-registry.git synced 2025-09-11 14:30:47 +03:00

Merge pull request #6702 from per1234/restore-7Semi

Restore registry privileges for `github.com/7Semi` and `github.com/7semi-tech`
This commit is contained in:
Per Tillisch
2025-08-01 15:00:12 -07:00
committed by GitHub

View File

@@ -13,14 +13,6 @@
name: 4211421036
access: deny
reference: https://github.com/arduino/library-registry/pull/6269#pullrequestreview-2813557457
- host: github.com
name: 7Semi
access: deny
reference: https://github.com/arduino/library-registry/pull/5734#pullrequestreview-2548818476
- host: github.com
name: 7semi-Tech
access: deny
reference: https://github.com/arduino/library-registry/pull/5734#pullrequestreview-2548818476
- host: github.com
name: ajangrahmat
access: deny