3 ms·
As noted in the README, all of the devlopment now occurs in gitlab [0], and github is a mirror. [0] https://gitlab.com/tezos/tezos https://gitlab.com/tezos/tez
by xur17 8y ago
As noted in the README, all of the devlopment now occurs in gitlab [0], and github is a mirror.
[0] https://gitlab.com/tezos/tezos https://gitlab.com/tezos/tezos