vieter/src/cron/cron.v

8 lines
114 B
Coq
Raw Normal View History

2022-04-09 09:46:07 +02:00
module cron
import git
pub fn cron(conf Config) ? {
repos_map := git.get_repos(conf.address, conf.api_key) ?
}