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