Demo: Dex with GitHub (part I)