Steps for move to storm organization

[volkm]

General information on repository transfer.

The following main repositories must be moved to the stormchecker organization:

• carl-storm
• storm
• stormpy
• stormvogel

The following additional repositories should also be moved:

• storm-website
• storm-doc
• stormpyter
• storm-project-starter-cpp
• storm-project-starter-python
• docker-storm
• homebrew-storm

The following repositories are open for discussion whether they should be moved:

• carl-parser
• storm-benchmark-logs

Older repositories, keep on moves-rwth:

• pycarl
• prophesy
• homebrew-misc
• storm-examples

Other tasks:

• remove organization secrets and tokens from moves-rwth

[volkm]

For the main repositories, I suggest to use the common order carl-storm → storm → stormpy for the movement.
For the additional repositories we could move some repos beforehand to get some more experience. Candidates could be storm-project-starter-* and docker-storm.