rmkaplan f44b96e870

Rmk22 gitfns ignores other owners (#1713) ...

* 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.

2024-05-27 15:16:58 -07:00

9.3 KiB

Raw History

View Raw