options: make options relevant to gwsmgitd

Signed-off-by: Peter Williams <pwil3058@gmail.com>
pull: replace fetch action with push in the main tool bar

Signed-off-by: Peter Williams <pwil3058@gmail.com>