2 commits

Author	SHA1	Message	Date
Juliana Fajardini	71e4ca81ef	devguide: reorganize pr-workflow section ... This section seemed to aim both at PR reviewers and PR authors at the same time, even though some info is probably of low value for contributors. Created new section for PR reviewers and maintainers, and kept the info for PR authors separated. Also highlighted information on requested changes and stale PRs.	2024-01-04 15:51:21 +01:00
Juliana Fajardini	08eb67f74c	devguide: make 'contributing' a chapter ... This could be justified from a semantic point of view, and also can help in bringing more attention to where this information is, as it is less hidden, now. Also add Dev Guide as one of our resources in our Readme.	2024-01-04 15:51:21 +01:00

Renamed from doc/userguide/devguide/codebase/contributing/github-pr-workflow.rst (Browse further)