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-04-23 23:18:43 +00:00
parent 73cd43c18f
commit 4c98629bbc
130 changed files with 1839 additions and 1788 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -26,7 +26,7 @@ if (!version)
console.log(`Version: ${version}`)
//Load related pr
const { data: { items: prs } } = await rest.search.issuesAndPullRequests({
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`,
})
@@ -40,9 +40,9 @@ 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))
@@ -52,5 +52,5 @@ catch {
}
//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`)