<p dir="ltr">Why not push the tags to GitHub as well? </p>