Open kevinmershon opened 11 years ago
How can we store this between JVM restarts? EDN in a text file? And if we switch to GitHub (ahem), this would be redundant, no? Or at least pgbot would get the information differently, most likely (i.e. directly from the API).
Okay, good point on the GiHub info. As it exists now, pgbot pulls commit data over post from local repo commit hooks. How about tracking outstanding (non-pushed) commits by branch, by developer?
Yeah, that's a really good idea. Sometimes I forget to push now because pgbot makes me feel like I already have. :grimacing:
It'd be cool if the bot could track statistics on developers. Some of the statistics from GitHub make sense, like commits per day, days since last commit, etc. Some sort of command syntax would need to be implemented to trigger a stats dump to the channel.