* GITFNS: prc ignores PRs from other owners
The menu just includes Interlisp PR's. Fixing it to deal with other owners will take more work.
* JSON: JSON-GET takes a list of attributes
A convenience for accessing objects embedded in objects
* GITFNS: a minor cleanup
* Remove JSON-GET left over
* Put the git commands to install remotes in comments
So we don't have to rediscover them when we decide to fix prc to deal with this issue.
* GITFNS gets prc information in JSON form
prc uses the simple JSON parser in the new lispusers file JSON to convert the json string into a lisp data structure. Maybe the commonlisp package YASON that Matt looked at would be more general, but perhaps also requires more understanding.
With this change, drafts should be marked with D, approves should be marked with A.
* Quote branch names in git commands -- attempt to fix issue #1691
---------
Co-authored-by: rmkaplan <ron.kaplan@post.harvard.edu>
