4.0 is released and as part of its announcements, 3.13 was retired. We do not need the gerrit dashboard lingering for the same and can be removed. [1] Announce: http://lists.gluster.org/pipermail/announce/2018-March/000092.html [2] Gerrit dashboard to remove: https://review.gluster.org/#/projects/glusterfs,dashboards/dashboard:3-13-dashboard
Ping...
This is now done.