I went ahead and put the current debian/ directory into trunk, so that we have an easier time keeping it up to date with changes to the codebase. I also deleted recipes and PPA for precise, which have not been build for > 1 year.
I adapted the recipe for widelands-daily to no longer merge the debian branch.
With these changes and bunnybot+travis+appveyor doing CI for us I think this branch is no longer required. Setting to rejected.
I will also set the debian branch to merged, since it sorta is (with loss of history though).
I went ahead and put the current debian/ directory into trunk, so that we have an easier time keeping it up to date with changes to the codebase. I also deleted recipes and PPA for precise, which have not been build for > 1 year.
I adapted the recipe for widelands-daily to no longer merge the debian branch.
With these changes and bunnybot+ travis+ appveyor doing CI for us I think this branch is no longer required. Setting to rejected.
I will also set the debian branch to merged, since it sorta is (with loss of history though).