devguide: move github workflow document from redmine into devguide
As we bring our contribution process document into the new devguide,
it would be nice to have the GitHub workflow brought up there as well.
Updated by Juliana Fajardini Reichow about 2 months ago
- Status changed from New to Closed