What is the canonical source repo for magic between

<git://opencircuitdesign.com/magic>

as listed on the website and the GitHub version?