lint: remove irrenlevant stuff from the output (#3866)
lint: remove irrenlevant stuff from the output (#3866)


netsec-ethz/scion,Oncilla/scion,netsec-ethz/scion,Oncilla/scion,Oncilla/scion,netsec-ethz/scion,netsec-ethz/scion,Oncilla/scion