fully enabling reindexing and git pushing (no rosdistro pull request yet)