For git noobs like me: “Remove previously tracked file from git repository” spigotdesign.com/remove-previou…