Release onegov 1.0.1 pins