From dc50008c46760aa6cbdba1cfe3c8a58b11ac91ed Mon Sep 17 00:00:00 2001 From: Nicolas Stepien Date: Mon, 8 Apr 2013 12:27:51 +0200 Subject: [PATCH] git push --tags needs to be forced. --- CHANGELOG.md | 2 +- Gruntfile.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 0442f0ce1..eb6637b33 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,6 +1,6 @@ ### 3.0.1 - *2013-04-08* -- Added possibility to combine board-list toggle and custom text. +- Added the possibility to combine board-list toggle and custom text. - Added Reply Navigation back in, disabled by default. - Fixed Thread Hiding initialization error. diff --git a/Gruntfile.js b/Gruntfile.js index 7b3be72bf..9e7acb52b 100644 --- a/Gruntfile.js +++ b/Gruntfile.js @@ -81,7 +81,7 @@ module.exports = function(grunt) { stdout: true }, push: { - command: 'git push origin --all && git push origin --tags', + command: 'git push origin --all && git push origin --tags -f', stdout: true } },