jhermann added github_clone_fork helper

Users who have contributed to this file

• jhermann