From 78ab818f2237bc34b1f5241b1c286109be8d7c38 Mon Sep 17 00:00:00 2001 From: d2weber <29163905+d2weber@users.noreply.github.com> Date: Wed, 12 Jan 2022 09:22:40 +0100 Subject: [PATCH 1/2] Fix duplicate ignored gitconfig --- .gitignore | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/.gitignore b/.gitignore index 87230d5..120fec3 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,5 @@ .jekyll-cache/ -Gemfile.lock +Gemfile.lock *.bak .gitattributes .last_checked @@ -137,7 +137,3 @@ tools/fastai # link checker checklink/cookies.txt - -# .gitconfig is now autogenerated -.gitconfig - From 39be581708f5a3a709789dbb029b6fe86e9f2b07 Mon Sep 17 00:00:00 2001 From: d2weber <29163905+d2weber@users.noreply.github.com> Date: Wed, 12 Jan 2022 09:23:10 +0100 Subject: [PATCH 2/2] Minor style fix in settings.ini --- settings.ini | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/settings.ini b/settings.ini index 959a6d8..3005435 100644 --- a/settings.ini +++ b/settings.ini @@ -45,8 +45,8 @@ recursive = False # Anything shown as '%(...)s' is substituted with that setting automatically doc_host = https://%(user)s.github.io -#For Enterprise Git pages use: -#doc_host = https://pages.github.%(company_name)s.com. +# For Enterprise Git pages use: +# doc_host = https://pages.github.%(company_name)s.com. doc_baseurl = /%(lib_name)s/ @@ -55,7 +55,7 @@ doc_baseurl = /%(lib_name)s/ git_url = https://github.com/%(user)s/%(lib_name)s/tree/%(branch)s/ # For Enterprise Github use: -#git_url = https://github.%(company_name)s.com/%(repo_name)s/%(lib_name)s/tree/%(branch)s/ +# git_url = https://github.%(company_name)s.com/%(repo_name)s/%(lib_name)s/tree/%(branch)s/ @@ -67,8 +67,6 @@ title = %(lib_name)s #monospace_docstrings = False #Test flags: introduce here the test flags you want to use separated by | #tst_flags = -#Custom sidebar: customize sidebar.json yourself for advanced sidebars (False/True) -#custom_sidebar = #Cell spacing: if you want cell blocks in code separated by more than one new line #cell_spacing = #Custom jekyll styles: if you want more jekyll styles than tip/important/warning, set them here