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.

Sign up for GitHub

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

Jump to bottom

Update all URLs to point to new docs #493

Merged
merged 2 commits into from
May 10, 2023
Merged

Update all URLs to point to new docs #493

merged 2 commits into from
May 10, 2023

Commits on May 10, 2023

  1. WIP: update changelo

    @jorisroovers
    jorisroovers committed May 10, 2023
    Configuration menu
    Copy the full SHA
    149774c View commit details
    Browse the repository at this point in the history

  2. Update all URLs to point to new docs 

    - Replace old URLs with new doc URLs in code, README, CHANGELOG.
  Critical old URLs, for example those printed by gitlint itself in the past,
  will keep working and redirect to the new URL.
- Ensure all links are https (no http)
- Fix incorrect top-level doc URL path for user defined rules
  (rename getting_started.md to index.md).
- Replace few accidental uses of jorisroovers.com/gitlint with
  jorisroovers.github.io/gitlint
- Re-enable strict mode in mkdocs
    @jorisroovers
    jorisroovers committed May 10, 2023
    Configuration menu
    Copy the full SHA
    4a813a3 View commit details
    Browse the repository at this point in the history