navigation: remove execute bits in repo