The integration of GitHub into geography lessons marks a shift toward programmatic and data-driven geography