#!/bin/bash
#% msg message
#% INTERNAL/DEV: record a message for the admin shell user. It will be emitted upon calling and after commiting changes.
. $LIB_DIR/common.sh
push <<<"#!`date`: $@"
echo "$@"