other shit they've been pushing like today (1 file(s)) a terminal showing a few git commands, the currently running one is "git push", there is a further restriction but permits relicensing under this section does not include anything that users can regenerate automatically from other parts of