Sysadmins are planning some brief maintenance (couple of minutes) for our:
Operation is scheduled on 2017-07-06:
It should not incur in any downtime. Mentioned services will be briefly unavailable to end users.