• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
    • Theories
    • Rule-classes
    • Proof-builder
    • Recursion-and-induction
    • Hons-and-memoization
    • Events
    • Parallelism
    • History
    • Programming
    • Operational-semantics
    • Real
    • Start-here
      • Gentle-introduction-to-ACL2-programming
      • ACL2-tutorial
      • About-ACL2
        • Recursion-and-induction
        • Operational-semantics
        • Soundness
        • Release-notes
        • Version
        • Acknowledgments
        • Pre-built-binary-distributions
        • Common-lisp
        • Git-quick-start
          • Github-commit-code-using-push
          • Github-commit-code-using-pull-requests
        • Copyright
        • Building-ACL2
        • ACL2-help
        • Bibliography
    • Debugging
    • Miscellaneous
    • Output-controls
    • Macros
    • Interfacing-tools
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities

• About-ACL2

Git-quick-start

Git quick start guide

Each of the two topics github-commit-code-using-push and github-commit-code-using-pull-requests presents a minimal guide to using the Github repository for ACL2+Books. That repository exists on the web and contains the ``bleeding edge'' ACL2 source code and community-books, available between ACL2 releases (see release-notes). Those who are familiar with older version control systems, or perhaps with no version control systems, might find this guide to be helpful. For additional information, including the use of branches and links to more information about git, see the wiki page for git tips, books-certification, and the Internet in general. However, both of the above-mentioned guides are intended to be sufficient for you to obtain the latest ACL2 source code and community-books, and optionally, for you to contribute to the community-books.

Select the guide that is right for you based upon the headings below.

For non-contributors:

See sections (A) and (B) in github-commit-code-using-push.

For infrequent contributors:

For those only planning on contributing a few times per year (or less), see github-commit-code-using-pull-requests.

For frequent contributors:

For those contributing on a monthly or weekly basis, see github-commit-code-using-push.

Subtopics

Github-commit-code-using-push

How to commit code to the books using direct push access

Github-commit-code-using-pull-requests

How to commit code to the books using pull requests