Electric Coin Company vs zcash github account

z.cash links to GitHub - Electric-Coin-Company/dev-ci-zcash: dev-ci testing using zcash clone, synced with github.com/zcash/zcash

which is a fork of: GitHub - zcash/zcash: Zcash - Internet Money

What gives?