removed push2GitHub script and renamed to rigel
Renamed push2GitHub to rigel