A LuaDist utility used to push package repositories
Github Pusher can be configured by specifying several environment variables described below.
PUSHER_REPO_PATH- the directory with repositories to push (defaults todata/repos)PUSHER_LOG_DIR- directory to keep the logs in (defaults tologs))PUSHER_ORG_NAME- the name of the Github organization where the repositories should go (defaults toLuaDist2; you should set either this orPUSHER_USER_NAME, but not both)PUSHER_USER_NAME- the name of the Github user where the repositories should go (defaults to an empty string; you should set either this orPUSHER_ORG_NAME, but not both)PUSHER_GITHUB_TOKEN- Github access token allowing to create repositories on the given account (no default, must be set)