project-navigation
Personal tools

Author Topic: Move to GitHub?  (Read 3696 times)

Offline shevegen

  • Squad Leader
  • ****
  • Posts: 224
    • View Profile
Move to GitHub?
« on: November 23, 2019, 03:33:47 am »
Are there any plans to move to GitHub? Might make the project a bit more active perhaps (no idea, I have just visited since
my inactivity of a few years).

Offline geever

  • Project Coder
  • PHALANX Commander
  • ***
  • Posts: 2561
    • View Profile
Re: Move to GitHub?
« Reply #1 on: December 22, 2019, 11:43:30 am »
Are there any plans to move to GitHub? Might make the project a bit more active perhaps (no idea, I have just visited since
my inactivity of a few years).

We have a github mirror of the master branch, but I'm not the admin of it so it is not that simple. Also, out repository is quite big - with all the artwork in it - which may not play well with Githubs policy.

-geever