tree 506af73fc582d032eea69c0e05e5c3b9bb528b6d
parent 7a1e8d54d806ee93dd5173a06cbc560e1971d79a
author David Ostrovsky <david@ostrovsky.org> 1621063839 +0200
committer David Ostrovsky <david@ostrovsky.org> 1621063839 +0200

Remove builds on stable-3.1 branch

Gerrit v3.1 is now EOL: [1] and its associated builds will be
archived [2] and can be safely removed from the main CI.

[1] https://www.gerritcodereview.com/2021-03-16-gerrit-3.4-release-plan.html#end-of-life-for-gerrit-31x
[2] https://archive-ci.gerritforge.com/view/Plugins-stable-3.1

Change-Id: If69fe1a3ca8ed4adce2b175dbd3d80fbef8103cd