Skip to main content

#curl is made on Mondays in August.
#curl
in reply to daniel:// stenberg://

Quince Pie
Quince Pie
• •
Does the commit day of the week include PRs themselves? If not, i wonder how PR stats look like.
in reply to Quince Pie

daniel:// stenberg://
daniel:// stenberg://
• •
@QuincePie that's just the commits that end up in the source repository. PRs can have numerous that then might end up just a single one in the final merge. We don't think we can even count commits done in PRs properly if we wanted.
@Quince Pie
⇧