- Gulf Shores, AL Website
- Population: 12,757 | +1.92% from 2018
Gulf Shores, AL Elected Officials
- Mayor:
Robert Craft - City Council District 1: Joe Garris
- City Council District 2: Gary Sinak
- City Council District 3: Philip Harris
- City Council District 4: Jason Dyken
- City Council District 5: Steve Jones
Robert Craft
Joe Garris