3 Commits

Include renames

Author	SHA1	Message	Date
Jakob Borg	899b9fc6c7	dev/mergebot: Emphasize the importance of getting the "Skip-check: authors" part right ... GitHub-Pull-Request: https://github.com/syncthing/docs/pull/185	2016-06-03 10:32:08 +00:00
Jakob Borg	936cef6ddd	dev/mergebot: Describe LGTM flow ... GitHub-Pull-Request: https://github.com/syncthing/docs/pull/184 LGTM: AudriusButkevicius, rumpelsepp	2016-06-03 09:37:49 +00:00
Jakob Borg	5ac7ff99da	dev: Document using the merge bot (#166) ... * dev: Document using the merge bot	2016-05-08 13:53:15 +01:00