const headerNavLinks = [
    { href: '/workshop', title: 'Exercises' },
    { href: 'https://etherpad.wikimedia.org/p/OpenShiftDisco_2023_12_20', title: 'Etherpad' }
]

export default headerNavLinks