Revision 0082c787
ID | 0082c7879143568086afdf78f282d29f2c27af79 |
ci: Make some options optional
Make 'ssh_keys' and 'accept_ssh_from' optional, since there are not
mandatory for ci to work.
Files
- added
- modified
- copied
- renamed
- deleted
- ci
- new_config (diff)
- utils.py (diff)