I.e. push an additional commit or an amended commit?