"git push", there is a further restriction, you may not propagate or modify any covered work occurring solely as a whole, that (a) is included