The #banjototw over on instagram is "Gal with the Blue Dress On," which seems to be one of those names that is used for different tunes geographically, none of which sound all that similar to the song by that name in Briggs' Banjo instructor (1855) which I'm finally getting around to learning