changed delete frag to rm, made push, pull and push only pretty as per ga7go8's suggestion