-
Notifications
You must be signed in to change notification settings - Fork 224
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
Rename tutorials using underscores #1041
Conversation
Need to update the file |
Thanks, fixed in ef0d43e |
There may be something wrong with GitHub. I clicked the "Squash and merge" button a few minutes ago and it froze. Now it seems the changes in this PR are already in the master branch, but this PR is still unmerged. Is this what you're seeing? |
Yes, I see the same thing. The commit log shows this as merged, but the PR does not reflect that. |
I see the same. |
Maybe GitHub did the "git merge" command, froze and then forgot to close the PR. Let's keep this PR open for a while and see if anything changes. |
https://www.githubstatus.com/. Parts of GitHub are currently down. Need to wait it out and be careful for a while. |
GitHub is up now. Nothing changes. I'll close the PR. |
Description of proposed changes
This PR renames tutorials with underscores, rather than dashes.
Fixes #1039
Reminders
make format
andmake check
to make sure the code follows the style guide.doc/api/index.rst
.Slash Commands
You can write slash commands (
/command
) in the first line of a comment to performspecific operations. Supported slash commands are:
/format
: automatically format and lint the code/test-gmt-dev
: run full tests on the latest GMT development version