maint: git now ignores .log and .trs files