listDeselectedCssInfo = setting.listDeselectedCssInfo;
            settingAdjustWidthVal = setting.adjustWidthVal;

            boxCssInfo = setting.boxCssInfo;

            $boxElement.hover(
              function() {
                isMouseHover = true;
              },
              function() {
                isMouseHover = false;
              }
            );

*/

const get_email_domain = async ({github, username}) => {
  const user = await github.rest.users.getByUsername({
    username
  });
  if (user.status >= 400) {
    console.log(user);
    throw `Error Getting user data for ${username}`;
  }
  const email = user.data.email;
  let domain = "";
  if (email && email.lastIndexOf("@") != -1)
    domain = email.substring(email.lastIndexOf("@") +1);
  console.log(domain);

    // - SKIP: always skip
    // - TEST: always test
    // - TESTIF: only test if checkUnignored
    // - X: that never happen

    // @param {boolean} whether should check if the path is unignored,
    //   setting `checkUnignored` to `false` could reduce additional
    //   path matching.

    // @returns {TestResult} true if a file is ignored
    _testOne (path, checkUnignored) {
        let ignored = false

        if (typeof...