You really think the government sponsored projects are subject to bans on downloading stuff from GitHub?