New remote commit with git filters

also remove ignored files from index and copy info/exclude when
saving filters

local commit using git filters still missing