Backporting - acl2/acl2 GitHub Wiki
Since every entity can maintain their own version of the git repository, there is no longer a notion of merging changes into a past release branch. Instead, we would encourage such a person to maintain their own repository and to create a pull request when they're ready to have their changes merged into trunk.