Skip to content

Fixes #1606 Adjusts capitalization of "URL"#2341

Merged
eamodio merged 2 commits intogitkraken:mainfrom
dnicolson:capitalization-of-url
Nov 12, 2022
Merged

Fixes #1606 Adjusts capitalization of "URL"#2341
eamodio merged 2 commits intogitkraken:mainfrom
dnicolson:capitalization-of-url

Conversation

@dnicolson
Copy link
Contributor

@dnicolson dnicolson commented Nov 11, 2022

Description

Fixes #1606.
This pull request replaces string instances of "Url" with "URL".

Checklist

  • I have followed the guidelines in the Contributing document
  • My changes follow the coding style of this project
  • My changes build without any errors or warnings
  • My changes have been formatted and linted
  • My changes include any required corresponding changes to the documentation (including CHANGELOG.md and README.md)
  • My changes have been rebased and squashed to the minimal number (typically 1) of relevant commits
  • My changes have a descriptive commit message with a short title, including a Fixes $XXX - or Closes #XXX - prefix to auto-close the issue that your PR addresses

@eamodio eamodio self-assigned this Nov 12, 2022
@eamodio eamodio added this to the 13.1 milestone Nov 12, 2022
@eamodio eamodio merged commit 40a53cd into gitkraken:main Nov 12, 2022
@eamodio
Copy link
Member

eamodio commented Nov 12, 2022

Thank you for your contribution!

Thank you

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.

"URL" is capitalized as "Url"

2 participants