fix github url

hsjobeki · Jul 27, 2023 · cdea55c · cdea55c
1 parent b7b2934
commit cdea55c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/docs/book.toml b/docs/book.toml
@@ -3,12 +3,12 @@ authors = ["@hsjobeki:Johannes Kirschbauer"]
 language = "en"
 multilingual = false
 src = "src"
-title = "Nix Types - a first step in the right direction"
+title = "Nix Types - first considerations"
 
 [output.html]
 mathjax-support = true
 default-theme = "light"
 preferred-dark-theme = "navy"
 additional-css = ["theme/highlight-dark.css"]
-git-repository-url = "https://gitlab.com/hsjobeki/nix-types"
+git-repository-url = "https://github.com/hsjobeki/nix-types"
 git-repository-icon = "fa-code-fork"
diff --git a/docs/src/intro.md b/docs/src/intro.md
@@ -1,6 +1,6 @@
 # Introduction
 
-This (Draft/Future) RFC targets the `# Type` field declared in [RFC-145](https://github.com/NixOS/rfcs/pull/145)
+This (Draft) targets the `# Type` field declared in [RFC-145](https://github.com/NixOS/rfcs/pull/145)
 
 ## Motivation
 
@@ -14,8 +14,7 @@ By specifying the syntax of the type section within nix this opens a wide range
 
 ## Detailed implementation
 
-We propose to formulate a syntax for the `# Type` section.
-This RFC may be the only valid ruleset that applies to that section.
+I propose to formulate a syntax for the `# Type` section.
 
 ### No need to use code brackets