https://pantsbuild.org/ logo
#development
Title
# development
a

aloof-angle-91616

01/19/2019, 10:17 PM
this is also an incredibly pedantic thing but if i pushed up a PR to convert all of the URLs in comments and whatnot to be
https://
instead of
http://
(for the ones which are on pages that support https) would that be useful or merely noise?
👌 1