search

openETCS / model-evaluation

part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
13 stars 20 forks source link

Committer validation / jfeuser #63

Closed mahlmann closed 10 years ago

mahlmann commented 10 years ago

Dear @jfeuser

you are currently committer of the model-evaluation repository. However, you have not been active in this repository for a longer period of time. Please let me know if you expect to commit in the future. If this is not the case you will be removed from the group of committers.

jfeuser commented 10 years ago

Dear Peter,

you can remove my account from the group of committers.

Best regards, Johannes

On 02/11/2014 03:45 PM, Peter Mahlmann wrote:

Dear @jfeuser https://github.com/jfeuser

you are currently committer of the model-evaluation repository. However, you have not been active in this repository for a longer period of time. Please let me know if you expect to commit in the future. If this is not the case you will be removed from the group of committers.

— Reply to this email directly or view it on GitHub https://github.com/openETCS/model-evaluation/issues/63.

mahlmann commented 10 years ago

Thanks, Johannes!