From 7ab44a058ca088337ebf2b8ce97684b43847a43f Mon Sep 17 00:00:00 2001 From: Mizunashi Mana Date: Sat, 10 Nov 2018 00:02:56 +0900 Subject: [PATCH] Bump date to 2018-11-09 --- plugin.info.txt | 2 +- scripts/push-release-tag.bash | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/plugin.info.txt b/plugin.info.txt index d8e5034..0561d25 100644 --- a/plugin.info.txt +++ b/plugin.info.txt @@ -1,7 +1,7 @@ base mdpage author Mizunashi Mana email mizunashi@git.noreply -date 2018-11-04 +date 2018-11-09 name Markdown Page Plugin desc Write your own Markdown page url https://www.dokuwiki.org/plugin:mdpage diff --git a/scripts/push-release-tag.bash b/scripts/push-release-tag.bash index bd61c54..077ca74 100755 --- a/scripts/push-release-tag.bash +++ b/scripts/push-release-tag.bash @@ -48,7 +48,7 @@ if [ "$(git rev-parse --abbrev-ref HEAD)" != "master" ]; then fi if [ -z "${FORCE_RELEASE:-}" ]; then - PLUGIN_DATE="$(grep 'date' "$TARGET_DIR/plugin.info.txt" | awk '{print $2}')" + PLUGIN_DATE="$(git -C $TARGET_DIR show master:plugin.info.txt | grep 'date' | awk '{print $2}')" if [ "$PLUGIN_DATE" != "$(date +'%Y-%m-%d')" ]; then cat >&2 <