{"pages":[{"page_name":"Build-Server","title":"Build Server","summary":null,"action":"edited","sha":"044c48d89361ca3d7f9d0c097ab4da8441b2e43c","html_url":"/ethz-asl/programming_guidelines/wiki/Build-Server"}]}