mirror of
https://github.com/laurent22/joplin.git
synced 2025-01-11 18:24:43 +02:00
Tools: Make sure branch has been pushed before releasing Android version
This commit is contained in:
parent
f7d164be6e
commit
b6c9edba21
@ -1,5 +1,5 @@
|
||||
const fs = require('fs-extra');
|
||||
const { execCommandVerbose, execCommandWithPipes, githubRelease, githubOauthToken, fileExists } = require('./tool-utils.js');
|
||||
const { execCommandVerbose, execCommandWithPipes, githubRelease, githubOauthToken, fileExists, gitPullTry } = require('./tool-utils.js');
|
||||
const path = require('path');
|
||||
const fetch = require('node-fetch');
|
||||
const uriTemplate = require('uri-template');
|
||||
@ -141,6 +141,8 @@ async function main() {
|
||||
|
||||
if (!['release', 'prerelease'].includes(argv.type)) throw new Error('Must specify release type. Either --type=release or --type=prerelease');
|
||||
|
||||
await gitPullTry(false);
|
||||
|
||||
const isPreRelease = argv.type === 'prerelease';
|
||||
|
||||
if (isPreRelease) console.info('Creating pre-release');
|
||||
|
Loading…
Reference in New Issue
Block a user