Fixes GitHub Capitalization (#14715)

This commit is contained in:
SleepyGemmy
2022-08-27 18:49:41 +02:00
committed by GitHub
parent f1fd242457
commit 4bec0ab46e
6 changed files with 11 additions and 11 deletions
+2 -2
View File
@@ -206,8 +206,8 @@ var/list/localhost_addresses = list(
// Forum link from various panels.
if ("github")
if (!config.githuburl)
to_chat(src, "<span class='danger'>Github URL not set in the config. Unable to open the site.</span>")
else if (alert("This will open the Github page in your browser. Are you sure?",, "Yes", "No") == "Yes")
to_chat(src, "<span class='danger'>GitHub URL not set in the config. Unable to open the site.</span>")
else if (alert("This will open the GitHub page in your browser. Are you sure?",, "Yes", "No") == "Yes")
if (href_list["pr"])
var/pr_link = "[config.githuburl]pull/[href_list["pr"]]"
send_link(src, pr_link)