Git URL Shortener Exception

A URL lengthened by git.io

 Posted on December 19, 2018  (Last modified on April 28, 2019)  |  1 minutes  |  Vincent Tam  |   1 comment

Due to limitations on the number of characters imposed by the site owner, URL shorteners are useful for shortening comments containing URL(s). Nonetheless, while commenting on my recent PR for Introduction, I found that GitHub’s URL shortener had lengthened the URL for GitHub’s home page.

github home page short url

Output of "https://github.com" by GitHub's URL Shortener

A counterexample of GitHub's URL Shortener

Compare these two URLs.

https://github.com
https://git.io/xE9D
GitHub 

Staticman Invitation is Case Sensitive

A recent invitation error under Staticman v3

 Posted on December 19, 2018  (Last modified on April 28, 2019)  |  1 minutes  |  Vincent Tam  |   1 comment

HTML and URL links are case insensitive. For example, GOOGLE.COM and google.com give the same address. As a result, after creating my fork of Beautiful Jekyll, I invited @staticmanlab to join my GitHub repo by firing the URL https://staticman3.herokuapp.com/v3/connect/github/vincenttam/beautiful-jekyll but I got Failed Staticman invitation The case for GitHub user name doens't match Successful Staticman invitation The case for GitHub user name match After matching vincenttam with the case of my user name displayed in the link for each of GitHub repos, [Read More]
Staticman  GitHub