sudacode/metrics
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

chore: code formatting

Browse Source
This commit is contained in:
github-actions[bot]
2022-01-16 01:41:24 +00:00
parent 4fa62aad67
commit d3228a126a
94 changed files with 3875 additions and 3822 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
.github/scripts/release.mjs vendored
View File

@@ -1,8 +1,8 @@
//Imports
import github from "@actions/github"
import paths from "path"
import url from "url"
import sgit from "simple-git"
import url from "url"
//Git setup
const __metrics = paths.join(paths.dirname(url.fileURLToPath(import.meta.url)), "../..")
@@ -18,7 +18,7 @@ const repository = process.env.GITHUB_REPOSITORY.match(/^(?<owner>[\s\S]+)[/](?<
const version = process.env.GITHUB_COMMIT_MESSAGE.match(/(?<version>v\d+[.]\d+)/)?.groups?.version ?? null
//Check arguments
if ((!repository)||(!repository.name)||(!repository.owner))
if ((!repository) || (!repository.name) || (!repository.owner))
throw new Error(`Could not parse repository "${process.env.GITHUB_REPOSITORY}"`)
console.log(`Repository: ${repository.owner}/${repository.name}`)
if (!version)
@@ -26,8 +26,8 @@ if (!version)
console.log(`Version: ${version}`)
//Load related pr
const {data:{items:prs}} = await rest.search.issuesAndPullRequests({
q:`repo:${repository.owner}/${repository.name} is:pr is:merged author:${maintainer} assignee:${maintainer} Release ${version} in:title`
const { data: { items: prs } } = await rest.search.issuesAndPullRequests({
q: `repo:${repository.owner}/${repository.name} is:pr is:merged author:${maintainer} assignee:${maintainer} Release ${version} in:title`,
})
//Ensure that there is exactly one pr matching
@@ -40,17 +40,17 @@ console.log(`Using pr#${patchnote.number}: ${patchnote.title}`)
//Check whether release already exists
try {
const {data:{id}} = await rest.repos.getReleaseByTag({owner:repository.owner, repo:repository.name, tag:version})
const { data: { id } } = await rest.repos.getReleaseByTag({ owner: repository.owner, repo: repository.name, tag: version })
console.log(`Release ${version} already exists (#${id}), will replace it`)
await rest.repos.deleteRelease({owner:repository.owner, repo:repository.name, release_id:id})
await rest.repos.deleteRelease({ owner: repository.owner, repo: repository.name, release_id: id })
console.log(`Deleting tag ${version}`)
await git.push(["--delete", "origin", version])
await new Promise(solve => setTimeout(solve, 15*1000))
await new Promise(solve => setTimeout(solve, 15 * 1000))
}
catch {
console.log(`Release ${version} does not exists yet, will create it`)
}
//Publish release
await rest.repos.createRelease({owner:repository.owner, repo:repository.name, tag_name:version, name:`Version ${version.replace(/^v/g, "")}`, body:patchnote.body})
await rest.repos.createRelease({ owner: repository.owner, repo: repository.name, tag_name: version, name: `Version ${version.replace(/^v/g, "")}`, body: patchnote.body })
console.log(`Successfully published`)