Skip to content
This repository was archived by the owner on Nov 20, 2020. It is now read-only.

README.md

Latest commit

 

History

History
15 lines (9 loc) · 829 Bytes

README.md

File metadata and controls

15 lines (9 loc) · 829 Bytes
Raw

Github Pusher

A LuaDist utility used to push package repositories

Configuration

Github Pusher can be configured by specifying several environment variables described below.

  • PUSHER_REPO_PATH - the directory with repositories to push (defaults to data/repos)
  • PUSHER_LOG_DIR - directory to keep the logs in (defaults to logs))
  • PUSHER_ORG_NAME - the name of the Github organization where the repositories should go (defaults to LuaDist2; you should set either this or PUSHER_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 or PUSHER_ORG_NAME, but not both)
  • PUSHER_GITHUB_TOKEN - Github access token allowing to create repositories on the given account (no default, must be set)