[migration] when there are no data migration needed, we still want to rewrite the configuration and to restart the server. Closes #1760927
# copyright %(year)s %(author)s, all rights reserved.# contact %(author-web-site)s -- mailto:%(author-email)s#%(long-license)s"""%(distname)s repository side views, usually for notification"""