An elegant solution for you, no doubt.
However, I couldn't part with the excellent tools that GitHub has developed (and will continue to develop) over the years.
However, I couldn't part with the excellent tools that GitHub has developed (and will continue to develop) over the years.