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
issue953 support git in the repo tool
issue973 Configure the Github repository
issue977 Enforce naming conventions for git repository
issue968 precommit hook to prepend the branch nameto commit messages
issue976 convert .hgignore to .gitignore

Optional:
issue975 move releases to GitHub

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

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
issue953 support git in the repo tool
issue973 Configure the Github repository
issue977 Enforce naming conventions for git repository
issue968 precommit hook to prepend the branch nameto commit messages
issue976 convert .hgignore to .gitignore

Optional:
issue975 move releases to GitHub
Messages
msg10165 (view) Author: malte Date: 2021-03-04.14:33:03
Added issue977 to summary, which used to be referenced only indirectly from issue973.
msg10163 (view) Author: malte Date: 2021-03-04.14:04:46
Following Silvan's msg10147, I have now removed the Gurobi issue from the summary.
msg10147 (view) Author: silvan Date: 2021-02-26.15:46:48
I'm removing Gurobi from this issue and added it to issue926 (support for Gurobi).

Let's discuss the other itmes in the next Fast Downward meeting. We could also include issue1001.
msg10092 (view) Author: malte Date: 2021-02-18.14:31:29
It would be nice to close this.

There are two "desired" issues (issue972, issue973) and one "optional" issue (issue975) left.

Regarding issue972, it's not really a migration issue given that we never tested Gurobi. It could be linked from existing Gurobi issues instead of from this one, if we have existing Gurobi issues, and then it could be removed from the summary of this issue.

Regarding issue973, the title is vague, but it looks like the open item there is the server-side hook question. Perhaps we should discuss this.

Regarding issue975, we've had some experience with github now, and I think it might again be a good time to discuss and perhaps close this. But we could also keep it open and mark this meta-issue as resolved if we decide to intentionally leave that decision for the future.
msg10088 (view) Author: silvan Date: 2021-02-18.12:19:21
This is still open, but there is only one optional item left. Should we close this issue?
msg9548 (view) Author: jendrik Date: 2020-07-09.11:26:26
Branches are protected.
msg9537 (view) Author: jendrik Date: 2020-07-08.12:49:36
Add issue976 to summary.
msg9535 (view) Author: malte Date: 2020-07-08.12:44:45
Not sure where else this fits best, so let me mention it here:

- We have performed the hg->hg cleanup and hg->git conversion of our primary repository.
- The converted github repository is aibasel/downward.
- The airepos hg repository has been set to read-only. If you try to push, you'll receive an error.
- hg.fast-downward.org will remain available until the December 2020 release (2020.12), but it will reflect the frozen state of the hg repository. We left a note in our release process documentation so that this won't get forgotten.
- For now, we want to limit ourselves to pull requests for making changes to the primary github repository, but we haven't fully figured out the details of the desired workflow yet.
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
2021-03-04 14:33:03maltesetmessages: + msg10165
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 issue953 support git in the repo tool issue973 Configure the Github repository issue968 precommit hook to prepend the branch nameto commit messages issue976 convert .hgignore to .gitignore Optional: issue975 move releases to GitHub -> 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 issue953 support git in the repo tool issue973 Configure the Github repository issue977 Enforce naming conventions for git repository issue968 precommit hook to prepend the branch nameto commit messages issue976 convert .hgignore to .gitignore Optional: issue975 move releases to GitHub
2021-03-04 14:04:47maltesetmessages: + msg10163
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 issue976 convert .hgignore to .gitignore Optional: issue975 move releases to GitHub -> 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 issue953 support git in the repo tool issue973 Configure the Github repository issue968 precommit hook to prepend the branch nameto commit messages issue976 convert .hgignore to .gitignore Optional: issue975 move releases to GitHub
2021-02-26 15:46:48silvansetmessages: + msg10147
2021-02-18 14:31:29maltesetmessages: + msg10092
2021-02-18 12:19:21silvansetmessages: + msg10088
2020-07-09 11:26:26jendriksetmessages: + msg9548
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 issue976 convert .hgignore to .gitignore Optional: issue975 move releases to GitHub -> 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 issue976 convert .hgignore to .gitignore Optional: issue975 move releases to GitHub
2020-07-08 12:49:36jendriksetmessages: + msg9537
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 -> 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 issue976 convert .hgignore to .gitignore Optional: issue975 move releases to GitHub
2020-07-08 12:44:45maltesetmessages: + msg9535
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