| 2018-08-15 | Merge branch 'hs/gpgsm' | blob | diff | raw | |
| 2018-08-15 | Merge branch 'bw/clone-ref-prefixes' | blob | diff | raw | |
| 2018-08-15 | Merge branch 'jh/json-writer' | blob | diff | raw | |
| 2018-07-16 | json_writer: new routines to create JSON data | blob | diff | raw | |