[Github] User-mention to profile page

Changes the user-mention URL to the user's profile page

Автор
HKR
Установок в день
0
Всего установок
4
Оценки
0 0 0
Версия
1.0
Создан
21.07.2021
Обновлён
22.07.2021
Лицензия
Недоступно
Работает на

Попробуйте также следующие похожие скрипты:

  • PlumFont - заменить Roboto, Segoe UI, Arial и другие шрифты - Замените шрифты веб-страниц на предпочтительные вам. Прекратите использование Segoe UI, Arial и Microsoft YaHei. Замените английские цифры шрифтами SF Pro и Inter.
  • GitHub загрузчик папок - Добавьте кнопку загрузки，Позволяет легко загружать определенные GitHub папка。
  • GitHub Сортировать по дате - Изменить сортировку файлов по убыванию по дате，Удобно просматривать последние обновленные файлы。
  • 🤠 Расширенный размер отображения склада помощника Github - 🤠 Размер отображения склада: при поиске кода GitHub, поиске склада, странице задач, списке пользовательских складов и странице репозитория размер склада будет отображаться рядом с названием склада, что позволяет пользователям быстро понять масштаб склада и оптимизировать его. выбор. Предупреждение о неактивности разработки. Если репозиторий не обновлялся в течение последних шести месяцев, система добавит запрос в верхней части репозитория, чтобы напомнить пользователям, что репозиторий неактивен
  • Github Скопировать исходный файл URL с загрузкой файлов - Добавить кнопку в конце каждой строки файла，скопировать исходный файл URL и скачать файлы