End of shutdown means government tech workers can get back on the job – CNET