Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Small Docs Updates #102

Merged
merged 4 commits into from
Dec 7, 2018
Merged

Small Docs Updates #102

merged 4 commits into from
Dec 7, 2018

Conversation

mileslucas
Copy link
Member

@mileslucas mileslucas commented Dec 7, 2018

Hello, I wanted to make some changes within the docs, mostly adding things. The biggest thing I've done is added the list of Instruments defined in grid_tools.py. There were some minor tweaks on files here and there, everything should be trivial, but feel free to look at the diffs. In addition I've added Pipfiles. I use pipenv for my environment handling, but you may not want them. It was nice because I could specify sphinx as a dev package and make it easier for contributors to get up and running with them. Feel free to delete those files if you don't want to merge them, though. Make sure if you merge this to rebuild the docs and sync them to RTD. I noticed documentation that was in the code but isn't on the site, which is not good!

@iancze iancze merged commit 73e2161 into Starfish-develop:master Dec 7, 2018
@iancze
Copy link
Collaborator

iancze commented Dec 7, 2018

Thanks a bunch for these updates. I haven't tried Pipfiles before (mainly because I didn't know how to use them) but this looks like a neat addition. Thanks!

mileslucas pushed a commit that referenced this pull request Dec 18, 2018
mileslucas pushed a commit that referenced this pull request Dec 18, 2018
mileslucas pushed a commit that referenced this pull request Dec 18, 2018
jason-neal pushed a commit to jason-neal/Starfish that referenced this pull request Jan 2, 2019
mileslucas pushed a commit that referenced this pull request May 16, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants