ignore-glob is something you can currently pull/push with `fossil configuration`. Could this be added?