Commit ca8202208a09376d061f50a8b400f5e276d8da06

Ebrahim Byagowi 2020-06-28T11:34:01

[ci] retire psvita and djgpp bots till update and overhaul