Adds checkpoint sync url#142

ch4r10t33r merged 2 commits into

blockblaz:mainblockblaz/lean-quickstart:mainfrom

geanlabs:maingeanlabs/lean-quickstart:mainCopy head branch name to clipboard