[nhkcode]

How does the licensing work? According to the GPL FAQ[1] code written by government employees is public domain and can't be licensed with the GPL. I'd imagine similar restrictions would apply to other copyleft licenses.

[1] https://www.gnu.org/licenses/gpl-faq.en.html#GPLUSGov

[thinkmassive]

Most code written for government use is not written by government employees, but by contractors. Here's the second paragraph from the section you linked:

"However, when a US federal government agency uses contractors to develop software, that is a different situation. The contract can require the contractor to release it under the GNU GPL. (GNU Ada was developed in this way.) Or the contract can assign the copyright to the government agency, which can then release the software under the GNU GPL."