It's implied which government they are talking about because 1) .gov is only used by the US; and 2) The GitHub account is GSA - U.S. General Services Administration.