Learn more about these different git repos.
Other Git URLs
2924f15
Added include for so we can find magma libraries if they're in a non standard spot.