6d8763a22c93a4de4ac38ca82c1b816913003b18		branch 'master' of https://git.mcnd.ca/mcndave/lean-console
8c71d0b4d8425284a0726d3811b275ec2321c619	not-for-merge	branch 'notes-2.x' of https://git.mcnd.ca/mcndave/lean-console
128a5fbfc66ef5f282fdbfffd03e40c56199ba5b	not-for-merge	tag 'v1.0.0' of https://git.mcnd.ca/mcndave/lean-console
