git ignore update
option to reject proposals, some UI fixes