git temporarily ignore changes to tracked file
By Izy Boy at Nov 10 2020
Why doesn't Git ignore my specified file?
By Lydia Metz at May 19 2020