Rmk22 gitfns ignores other owners (#1713)

Browse Source

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

...

This commit is contained in:

rmkaplan

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

committed by GitHub

parent e9bea32fa3

commit f44b96e870

4 changed files with 114 additions and 80 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

BIN

lispusers/JSON.LCOM

Binary file not shown.