Re: Release Org 9.4.2

[Greg Minshall]

Eric,

> Sure, and I do use it this way, but I had the impression that it was the
> non-git aspects that were being put forward as being somehow helpful.  I
> could be wrong.

i'm not a git-spert.  but, the "pull requests" mechanism and "issues"
(but reports), are maybe bits of git*.com that people like?  (i find
them useful myself.)

Greg