Auto Build Documentation on Pull Request (PR Builder)#5828

Merged

ericholscher merged 9 commits intoreadthedocs:gsoc-19-pr-builderfrom

saadmk11:pr-builder

Jun 21, 2019

Commits on Jun 19, 2019

Sync External versions to our database

ericholscher
authored and
saadmk11
committed
Remove unused patterns

ericholscher
authored and
saadmk11
committed
Small whitespace cleanup

ericholscher
authored and
saadmk11
committed
Clean up fetch logic a bit

ericholscher
authored and
saadmk11
committed
Add Comment

ericholscher
authored and
saadmk11
committed
Initial changes for PR Builder
saadmk11
committed

Commits on Jun 21, 2019