Add build_github_devtools function