// ==UserScript==
// @name        Don't waste time in treehole.
// @namespace   Dont-waste-time-in-treehole
// @description 当进入树洞时，自动跳转到pku.edu.cn.
// @version     1.0
// @match       *://pkuhelper.pku.edu.cn/
// 
// @author       Arthals
// @license      GPL-3.0 license
// @date         08/08/2022
// @downloadURL none
// ==/UserScript==
(function(){
    let website = location.href;
    if(/^https*:\/\/pkuhelper.pku.edu.cn\/hole\/$/.test(website)){
        console.log("yes")
        window.location = "http://www.pku.edu.cn"
    }
})()