I've seen "St Patricks Day" in Scottish tunebooks of the late 18th century, labelled as an Irish tune. The Morris dance use must have come later.

Aloys Fleischmann's book (which I don't have, wish I did) will probably trace its history in detail.