Issue954

Title Migrate Fast Downward from mercurial to git
Priority meta Status chatting
Superseder Nosy List cedric, florian, gabi, jendrik, malte, patfer, silvan, thomas
Assigned To Keywords
Optional summary
This is a meta issue summarizing all tasks for the migration to git.

Required:
issue652 script to clean up the mercurial repositories automatically
issue950 script to convert the mercurial repos automatically
issue951 design and decide for a development workflow in git
issue952 update the buildbot to work on the git repository
issue974 Merge the repository for container recipes into the main repository
remove obsolete files: ~~bitbucket-pipelines.yml~~, ~~misc/uncrustify.py~~
Protect all branches on main GitHub repo by adding branch protection for branch name "*".

Desired:
issue940 try github test pipelines, which includes:
  issue970 Find a way to run SoPlex during Github actions
  issue971 Find a way to run CPLEX during Github actions
  issue972 Find a way to run Gurobi during Github actions
issue953 support git in the repo tool
issue973 Configure the Github repository
issue968 precommit hook to prepend the branch nameto commit messages

Optional:
issue975 move releases to GitHub

Created on 2019-12-19.16:56:24 by patfer, last changed by jendrik.

Summary
This is a meta issue summarizing all tasks for the migration to git.

Required:
issue652 script to clean up the mercurial repositories automatically
issue950 script to convert the mercurial repos automatically
issue951 design and decide for a development workflow in git
issue952 update the buildbot to work on the git repository
issue974 Merge the repository for container recipes into the main repository
remove obsolete files: bitbucket-pipelines.yml, misc/uncrustify.py
Protect all branches on main GitHub repo by adding branch protection for branch name "*".

Desired:
issue940 try github test pipelines, which includes:
  issue970 Find a way to run SoPlex during Github actions
  issue971 Find a way to run CPLEX during Github actions
  issue972 Find a way to run Gurobi during Github actions
issue953 support git in the repo tool
issue973 Configure the Github repository
issue968 precommit hook to prepend the branch nameto commit messages

Optional:
issue975 move releases to GitHub
Messages
msg9488 (view) Author: jendrik Date: 2020-07-06.17:02:54
Add issue975 to summary.
msg9477 (view) Author: jendrik Date: 2020-07-06.11:09:21
Add TODO about protecting the "main" branch.
msg9432 (view) Author: jendrik Date: 2020-07-03.12:12:45
misc/uncrustify.py is gone now.
msg9411 (view) Author: jendrik Date: 2020-07-02.17:13:00
> Shouldn't we do this as part of issue969?

Fine by me.
msg9409 (view) Author: florian Date: 2020-07-02.17:07:58
> Remember to remove misc/uncrustify.py from the new git repo.

Shouldn't we do this as part of issue969?
msg9403 (view) Author: jendrik Date: 2020-07-02.16:17:18
Remember to remove misc/uncrustify.py from the new git repo.
msg9379 (view) Author: florian Date: 2020-07-01.12:46:25
Add links to new issues in the summary.
msg9368 (view) Author: gabi Date: 2020-07-01.10:54:46
Regarding the naming conflict aibasel/downward, we decided that the main 
repository will live there and the release containers will move into this 
repository.

misc/release will become misc/releases and the release folders will go there 
(next to the release creation scripts).
History
Date User Action Args
2020-07-06 17:02:54jendriksetmessages: + msg9488
summary: This is a meta issue summarizing all tasks for the migration to git. Required: issue652 script to clean up the mercurial repositories automatically issue950 script to convert the mercurial repos automatically issue951 design and decide for a development workflow in git issue952 update the buildbot to work on the git repository issue974 Merge the repository for container recipes into the main repository remove obsolete files: ~~bitbucket-pipelines.yml~~, ~~misc/uncrustify.py~~ Protect all branches on main GitHub repo by adding branch protection for branch name "*". Desired: issue940 try github test pipelines, which includes: issue970 Find a way to run SoPlex during Github actions issue971 Find a way to run CPLEX during Github actions issue972 Find a way to run Gurobi during Github actions issue953 support git in the repo tool issue973 Configure the Github repository issue968 precommit hook to prepend the branch nameto commit messages -> This is a meta issue summarizing all tasks for the migration to git. Required: issue652 script to clean up the mercurial repositories automatically issue950 script to convert the mercurial repos automatically issue951 design and decide for a development workflow in git issue952 update the buildbot to work on the git repository issue974 Merge the repository for container recipes into the main repository remove obsolete files: ~~bitbucket-pipelines.yml~~, ~~misc/uncrustify.py~~ Protect all branches on main GitHub repo by adding branch protection for branch name "*". Desired: issue940 try github test pipelines, which includes: issue970 Find a way to run SoPlex during Github actions issue971 Find a way to run CPLEX during Github actions issue972 Find a way to run Gurobi during Github actions issue953 support git in the repo tool issue973 Configure the Github repository issue968 precommit hook to prepend the branch nameto commit messages Optional: issue975 move releases to GitHub
2020-07-06 15:01:27jendriksetsummary: This is a meta issue summarizing all tasks for the migration to git. Required: issue652 script to clean up the mercurial repositories automatically issue950 script to convert the mercurial repos automatically issue951 design and decide for a development workflow in git issue952 update the buildbot to work on the git repository issue974 Merge the repository for container recipes into the main repository remove obsolete files: ~~bitbucket-pipelines.yml~~, ~~misc/uncrustify.py~~ Protect "main" branch on main GitHub repo? Desired: issue940 try github test pipelines, which includes: issue970 Find a way to run SoPlex during Github actions issue971 Find a way to run CPLEX during Github actions issue972 Find a way to run Gurobi during Github actions issue953 support git in the repo tool issue973 Configure the Github repository issue968 precommit hook to prepend the branch nameto commit messages -> This is a meta issue summarizing all tasks for the migration to git. Required: issue652 script to clean up the mercurial repositories automatically issue950 script to convert the mercurial repos automatically issue951 design and decide for a development workflow in git issue952 update the buildbot to work on the git repository issue974 Merge the repository for container recipes into the main repository remove obsolete files: ~~bitbucket-pipelines.yml~~, ~~misc/uncrustify.py~~ Protect all branches on main GitHub repo by adding branch protection for branch name "*". Desired: issue940 try github test pipelines, which includes: issue970 Find a way to run SoPlex during Github actions issue971 Find a way to run CPLEX during Github actions issue972 Find a way to run Gurobi during Github actions issue953 support git in the repo tool issue973 Configure the Github repository issue968 precommit hook to prepend the branch nameto commit messages
2020-07-06 11:09:22jendriksetmessages: + msg9477
summary: This is a meta issue summarizing all tasks for the migration to git. Required: issue652 script to clean up the mercurial repositories automatically issue950 script to convert the mercurial repos automatically issue951 design and decide for a development workflow in git issue952 update the buildbot to work on the git repository issue974 Merge the repository for container recipes into the main repository remove obsolete files: ~~bitbucket-pipelines.yml~~, ~~misc/uncrustify.py~~ Desired: issue940 try github test pipelines, which includes: issue970 Find a way to run SoPlex during Github actions issue971 Find a way to run CPLEX during Github actions issue972 Find a way to run Gurobi during Github actions issue953 support git in the repo tool issue973 Configure the Github repository issue968 precommit hook to prepend the branch nameto commit messages -> This is a meta issue summarizing all tasks for the migration to git. Required: issue652 script to clean up the mercurial repositories automatically issue950 script to convert the mercurial repos automatically issue951 design and decide for a development workflow in git issue952 update the buildbot to work on the git repository issue974 Merge the repository for container recipes into the main repository remove obsolete files: ~~bitbucket-pipelines.yml~~, ~~misc/uncrustify.py~~ Protect "main" branch on main GitHub repo? Desired: issue940 try github test pipelines, which includes: issue970 Find a way to run SoPlex during Github actions issue971 Find a way to run CPLEX during Github actions issue972 Find a way to run Gurobi during Github actions issue953 support git in the repo tool issue973 Configure the Github repository issue968 precommit hook to prepend the branch nameto commit messages
2020-07-03 12:12:45jendriksetmessages: + msg9432
summary: This is a meta issue summarizing all tasks for the migration to git. Required: issue652 script to clean up the mercurial repositories automatically issue950 script to convert the mercurial repos automatically issue951 design and decide for a development workflow in git issue952 update the buildbot to work on the git repository issue974 Merge the repository for container recipes into the main repository remove obsolete files from the new git repo: ~~bitbucket-pipelines.yml~~, misc/uncrustify.py Desired: issue940 try github test pipelines, which includes: issue970 Find a way to run SoPlex during Github actions issue971 Find a way to run CPLEX during Github actions issue972 Find a way to run Gurobi during Github actions issue953 support git in the repo tool issue973 Configure the Github repository issue968 precommit hook to prepend the branch nameto commit messages -> This is a meta issue summarizing all tasks for the migration to git. Required: issue652 script to clean up the mercurial repositories automatically issue950 script to convert the mercurial repos automatically issue951 design and decide for a development workflow in git issue952 update the buildbot to work on the git repository issue974 Merge the repository for container recipes into the main repository remove obsolete files: ~~bitbucket-pipelines.yml~~, ~~misc/uncrustify.py~~ Desired: issue940 try github test pipelines, which includes: issue970 Find a way to run SoPlex during Github actions issue971 Find a way to run CPLEX during Github actions issue972 Find a way to run Gurobi during Github actions issue953 support git in the repo tool issue973 Configure the Github repository issue968 precommit hook to prepend the branch nameto commit messages
2020-07-02 17:13:00jendriksetmessages: + msg9411
2020-07-02 17:07:58floriansetmessages: + msg9409
2020-07-02 16:17:18jendriksetmessages: + msg9403
summary: This is a meta issue summarizing all tasks for the migration to git. Required: issue652 script to clean up the mercurial repositories automatically issue950 script to convert the mercurial repos automatically issue951 design and decide for a development workflow in git issue952 update the buildbot to work on the git repository issue974 Merge the repository for container recipes into the main repository Desired: issue940 try github test pipelines, which includes: issue970 Find a way to run SoPlex during Github actions issue971 Find a way to run CPLEX during Github actions issue972 Find a way to run Gurobi during Github actions issue953 support git in the repo tool issue973 Configure the Github repository issue968 precommit hook to prepend the branch nameto commit messages -> This is a meta issue summarizing all tasks for the migration to git. Required: issue652 script to clean up the mercurial repositories automatically issue950 script to convert the mercurial repos automatically issue951 design and decide for a development workflow in git issue952 update the buildbot to work on the git repository issue974 Merge the repository for container recipes into the main repository remove obsolete files from the new git repo: ~~bitbucket-pipelines.yml~~, misc/uncrustify.py Desired: issue940 try github test pipelines, which includes: issue970 Find a way to run SoPlex during Github actions issue971 Find a way to run CPLEX during Github actions issue972 Find a way to run Gurobi during Github actions issue953 support git in the repo tool issue973 Configure the Github repository issue968 precommit hook to prepend the branch nameto commit messages
2020-07-01 12:46:25floriansetmessages: + msg9379
summary: This is a meta issue summarizing all tasks for the migration to git. Required: issue652 script to clean up the mercurial repositories automatically issue950 script to convert the mercurial repos automatically issue951 design and decide for a development workflow in git issue952 update the buildbot to work on the git repository Desired: issue940 try github test pipelines issue953 support git in the repo tool -> This is a meta issue summarizing all tasks for the migration to git. Required: issue652 script to clean up the mercurial repositories automatically issue950 script to convert the mercurial repos automatically issue951 design and decide for a development workflow in git issue952 update the buildbot to work on the git repository issue974 Merge the repository for container recipes into the main repository Desired: issue940 try github test pipelines, which includes: issue970 Find a way to run SoPlex during Github actions issue971 Find a way to run CPLEX during Github actions issue972 Find a way to run Gurobi during Github actions issue953 support git in the repo tool issue973 Configure the Github repository issue968 precommit hook to prepend the branch nameto commit messages
2020-07-01 10:54:46gabisetstatus: unread -> chatting
nosy: + gabi
messages: + msg9368
2019-12-20 11:28:19thomassetnosy: + thomas
2019-12-19 16:56:24patfercreate