Adding initial AG Push version to specs repo