Avoiding recent bug in github's webpages