{
    "ProjectName" : "Kremlin",

    "BaseContainerIsEverestImage" : true,
    "BaseContainerImageName" : "fstar",
    "BaseContainerImageTagOrCommitId": "latest",
    "BranchName" : "taramana_kremlin_comments",
    "GithubCommitUrl" : "https://github.com/FStarLang/fstar/commit",
    "OnDemandBuildDefinition" : "FStar\\FStar-{agentOS}",

    "DockerFile": ".docker/build/{agentOS}/Dockerfile",
    "DependencyFiles" : [
        ".docker/build/build_helper.sh",
        ".docker/build/build.sh"
    ],

    "DockerCacheEnabled" : true,
    "CIBuildTarget" : "all",
    "NightlyBuildTarget" : "nightly",
    "HasLogsToExtract" : true,

    "NotificationEnabled" : true,
    "NotificationChannel" : "#kremlin-build",
    "PublicBranches" : [ "master" ],

    "CompressBuildFolder": true,
    "FolderToCompress" : "kremlin",
    "FoldersToExclude" : [ ],

    "TrackPerformance" : false,

    "RepoVersions" : {
    }
}

{
    "ProjectName" : "Kremlin",

    "BaseContainerIsEverestImage" : true,
    "BaseContainerImageName" : "fstar",
    "BaseContainerImageTagOrCommitId": "latest",
    "BranchName" : "master",
    "GithubCommitUrl" : "https://github.com/FStarLang/fstar/commit",
    "OnDemandBuildDefinition" : "FStar\\FStar-{agentOS}",

    "DockerFile": ".docker/build/{agentOS}/Dockerfile",
    "DependencyFiles" : [
        ".docker/build/build_helper.sh",
        ".docker/build/build.sh"
    ],

    "DockerCacheEnabled" : true,
    "CIBuildTarget" : "all",
    "NightlyBuildTarget" : "nightly",
    "HasLogsToExtract" : true,

    "NotificationEnabled" : true,
    "NotificationChannel" : "#kremlin-build",
    "PublicBranches" : [ "master" ],

    "CompressBuildFolder": true,
    "FolderToCompress" : "kremlin",
    "FoldersToExclude" : [ ],

    "TrackPerformance" : false,

    "RepoVersions" : {
    }
}

Revert "use F* branch `taramana_kremlin_comments`"
Revert "use F* branch `taramana_kremlin_comments`"

This reverts commit 4edeacf6b3b1fbce8b1a4a4173666e9af12ee275.
