Committing code: how - acl2/acl2 GitHub Wiki

See :doc topic git-quick-start (the exact link may change over time):

http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index.html?topic=ACL2____GIT-QUICK-START