If that's the case, then github was already compliant with the order as the code is checked in. The Spanish gov't would just need the correct git hash of the r

If that's the case, then github was already compliant with the order as the code is checked in. The Spanish gov't would just need the correct git hash of the repo state they are interested in.