Skip to content

Commit

Permalink
Merge pull request #37 from mizunashi-mana/bump-date
Browse files Browse the repository at this point in the history
Bump date to 2018-11-09
  • Loading branch information
mizunashi-mana authored Nov 9, 2018
2 parents 63b946d + 7ab44a0 commit 11327cd
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion plugin.info.txt
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
base mdpage
author Mizunashi Mana
email [email protected]
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
2 changes: 1 addition & 1 deletion scripts/push-release-tag.bash
Original file line number Diff line number Diff line change
Expand Up @@ -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 <<EOS
You may forget to update date on plugin.info.txt.
Expand Down

0 comments on commit 11327cd

Please sign in to comment.