> and that ship can return to port. nothing should be considered > permanent, particularly not with such vacuous arguments. I thought "everyone" knew that the IETF widely used GitHub. Apparently I was wrong so here's some number: There are 126 active WG's, and 56 have a GitHub resource mentioned in their WG "about" page. So 44% of WGs use GitHub enough to mention it on their page. Yup, that ship has sailed. Methodology: #! /bin/bash for WG in $( wget -O - -a /dev/null https://datatracker.ietf.org/wg/ \ | sed -n -e 's@.*href=./wg/\(.*\).">@\1@p' ) ; do echo -n $WG wget -O - -a /dev/null https://datatracker.ietf.org/wg/$WG/about/ \ | grep GitHub | wc -l done | grep -v -w [01]