> -----Original Message-----
> From: Testbed Support for GridPP member institutes [mailto:TB-
> [log in to unmask]] On Behalf Of Sam Skipsey
>
> Might I suggest that in the "Local Monitoring" we do an s/Github's
> workflows/Git's workflows/, since none of the repo management workflow for
> Github is actually separate from Git in general?
>
Well, I'm going with 'no', I think, on the basis that I believe the
minutes' specific reference to github is a fair reflection of the
discussion that took place, in which some of the workflows were
considered to be github specific; particularly with regard to some
of the pull request and change commenting features.
Whether that view is itself correct is a separate question.
Ewan
|