Remove a deprecated github file [skip ci]
Remove a deprecated github file [skip ci]


Former-commit-id: 29467871eb5cf67d1ef9687a7845f14ff1687cab [formerly 29467871eb5cf67d1ef9687a7845f14ff1687cab [formerly 75ca437ea4506b17797386afea9894691fd34295]]
Former-commit-id: 163fc743c08fb6d9236f8129c9577f612122e814
Former-commit-id: f668a491b160a977b708d334bedf7419f506c28a
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine