GitHub pulled the tool’s code from its website within hours of the Treasury's ban last month. The code-sharing platform has now apparently rescinded its ban.