remove pipe from sha that is now unnecesary
remove pipe from sha that is now unnecesary

stanford-ppl/spatial-lang,stanford-ppl/spatial-lang,stanford-ppl/spatial-lang,stanford-ppl/spatial-lang,stanford-ppl/spatial-lang