remove ignored files from tinker git track

12 jobs for v1.0.0_issue537 in 34 minutes and 7 seconds (queued for 5 seconds)