Commit Graph

5 Commits (1196d48d7a66341157952fa84e8ed476b6ddc06e)

Author SHA1 Message Date
Anthony 46890a95b9
Drop readthedocs- prefix to submodule (#3916)
* Drop readthedocs- prefix to submodule

This may require git submodule sync locally

* Relink files
2018-04-05 22:00:58 -06:00
Manuel Kaufmann 3c674f05ad Use readthedocs-common to share linting files accross different repos (#3808)
* Remove shared autolint config files

* readthedocs-common submodule added

* Add proper symlinks to all the shared linting config

* Update submodule for unhidden files

* Recover prospector-more.yml since it's specific for this repo
2018-03-23 11:42:58 -06:00
Grant Welch d3bf3fadf4 .gitmodules; removed as it is now redundent. 2016-11-22 21:07:34 -08:00
Grant Welch 4ba0fae9c8 Remove submodule docs/_themes/sphinx_rtd_theme
The submodule was only relevant for a short time and its continued
existance is a distraction for new contributors.

See: https://github.com/snide/sphinx_rtd_theme/pull/342

Using git-blame, I was able to pinpoint which commite introduced the
submodule, but I wanted to be certain that it was no loger in use. So, I
manually inspected parts of the source code, ran `git grep ...`,
reviewed open and closed issues, and PRs, but found nothing conclusive
about its existance. Ultimately, git-log is what gave me the most
confidence that it is no longer necessary. As you can see, it was
introduced in October of 2013 and then made obsolete a month later.

From git-log:
  bash$ git log -G '_themes/sphinx_rtd_theme'
  commit 50619d1bc5
  Author: Eric Holscher <eric@ericholscher.com>
  Date:   Fri Nov 8 18:55:06 2013 -0800

      Rejigger theme stuff in our own conf

  commit d9829a2d81
  Author: Eric Holscher <eric@ericholscher.com>
  Date:   Thu Oct 17 13:26:19 2013 -0700

      Add new theme
2016-11-22 20:55:36 -08:00
Eric Holscher d9829a2d81 Add new theme 2013-10-17 13:26:19 -07:00