instrumentrepo Getting the contents of the repository can be reproduced using curl -i https://github.com/ghapi/repos/mantidproject/mantid/contents/Code/Mantid/instrument