Also use triple slash in pushes