project-navigation
Personal tools

Author Topic: Github bot  (Read 2023 times)

Offline Internecivus

  • Rookie
  • ***
  • Posts: 64
  • Sometimes I Code
    • View Profile
Github bot
« on: December 21, 2013, 01:58:20 pm »
I wasn't sure where should I start this topic, so I came here.

Why github cloning bot has stopped and what is required for it to run again?

Offline Mattn

  • Administrator
  • PHALANX Commander
  • *****
  • Posts: 4831
  • https://github.com/mgerhardy/vengi
    • View Profile
    • Vengi Voxel Tools
Re: Github bot
« Reply #1 on: December 21, 2013, 02:45:36 pm »
i've already prepared some stuff to move the service to the ninex server - just the pulling and pushing is needed as a cron now. The remaining parts are done. But I currently don't have the time to set the rest up. Might take some time.