* push changed made by Maven release (especially the next SNAPSHOT version)
* ask only once for the next SNAPSHOT version