Remove old keys and users #42

Merged
lafriks merged 3 commits from unknown repository into master 2019-01-04 17:49:56 +00:00
lafriks commented 2019-01-03 19:52:09 +00:00 (Migrated from github.com)

As title.

As title.
lafriks commented 2019-01-04 11:03:03 +00:00 (Migrated from github.com)

@techknowlogick you forgot to add your user to users_available: section

@techknowlogick you forgot to add your user to `users_available:` section

@lafriks I think we could give some rights to managers not only the owners.

@lafriks I think we could give some rights to managers not only the owners.
jonasfranz commented 2019-01-04 17:50:16 +00:00 (Migrated from github.com)

@lunny maybe create another PR with this change?

@lunny maybe create another PR with this change?
lafriks commented 2019-01-04 20:22:33 +00:00 (Migrated from github.com)

@lunny I don't think that is needed

@lunny I don't think that is needed
This repo is archived. You cannot comment on pull requests.
No description provided.