$("#searchForm").on("submit", function(e) {
    $searchButton.attr("disabled", true);
    setTimeout(function() {
      $searchButton.attr("disabled", false);
    }, 3000);
    return true;
  });

  $(document).on("click touchend", function(e) {
    if (!$(e.target).closest("#searchOptions, #searchOptionsButton").length) {
      $("#searchOptions").removeClass("active");
    }
  });

const jvm = ["big-guy", "ghale", "jvandort", "octylFractal", "tresat"];

/**
 * @module isEnabledUser
 * @description Returns true if the username that is passed to this function is a member of the Gradle BT Team who has opted into gitStream automations.
 * @param {string} Input - The GitHub username to check.
 * @returns {boolean} Returns true if the user is specified in any of the lists of Gradle BT team members above, otherwise false.

/**
 * @module nullToEmpty
 * @description Returns the specified value if non-null, otherwise an empty array.
 * @param {Object} input - The object to investigate
 * @returns Object - The specified value if non-null, otherwise an empty array
 * @example {{ readField('jvm', 'files') | nullToEmpty }}
 */
function nullToEmpty(input) {
    let output;
    if (input) {
        output = input;
    } else {
        output = [];
    }

/**
 * @module categorize
 * @description Returns a mapping of platforms to the information about the files involved in the PR contained in each platform
 * @param {Map} fileOwners mapping of platform name to a list of files involved in the change located in that platform
 * @param {[FileMetadata]} fileMetadatas - gitStream's list of metadata about file changes in the PR including path

/**
 * @module readField
 * @description Returns one field for a particular named object in a list of objects.
 * @param {[Object]} objects - The objects to search
 * @param {String} objectName - The name of the particular object to find
 * @param {String} fieldName - The name of the field for the group to return
 * @returns String - The specified value
 * @example {{ files | byPlatform | categorize(branch.diff.files_metadata) | readField('jvm', 'name') }}
 */

        }
    }

    return result;
}

function extractCheckNames(inputString) {
    const checksPart = inputString.split('@bot-gitstream check');
    if (checksPart.length === 2) {
        const checks = checksPart[1].split(' ');
        const namePattern = /^[a-zA-Z_]+$/;
        return checks.filter(check => namePattern.test(check));
    } else {
        return [];
    }
}

 * @param {[FileMetadata]} fileMetadatas - gitStream's list of metadata about file changes in the PR including path
 * @returns {[Object]} Returns list of computed summary statistic objects for each platform in the input groupedFiles
 * @example {{ fileOwners | categorize(branch.diff.files_metadata) | changeStatistics(branch.diff.files_metadata) }}
 */

 *
 * @param {[Object]} statistics - list of summary data objects from computeStatistics
 * @param {String} title - description of how data is grouped
 * @returns {String} Returns the formatted HTMl table string.
 * @example {{ owners | categorize(branch.diff.files_metadata) | computeStatistics(branch.diff.files_metadata) | summaryTable('Platform') }}
 */
function summaryTable(statistics, title) {

    });
    return result;
}

function getPlatform(file) {
    let result = null; // Default to null in case no platform is found

    if (file.startsWith('platforms/')) {
        const parts = file.split('/');
        result = parts[1];
    }

    console.log(file + " = " + result);
    return result;
}

        auth,
    });

    const res = await octokit.repos.getContent({
        owner,
        repo,
        path: pathToCodeOwners
    });

    return Buffer.from(res.data.content, 'base64').toString()
}

function codeownersMapping(data) {
    return data
        .toString()
        .split('\n')
        .filter(x => x && !x.startsWith('#'))
        .map(x => x.split("#")[0])
        .map(x => {