everyone here is collaborating: it causes confusion and takes up other people's time when you break the build. I would ask to just run precommit before committing. you don't have to sit and watch it, you can go work on something else while it runs.
On Thu, Apr 26, 2018 at 9:23 AM, Karl Wright <[email protected]> wrote: > :-) > > 25 minutes is an eternity these days, Robert. This is especially true when > others are collaborating with what you are doing, as was the case here. The > other approach would be to create a branch, but I've been avoiding that on > git. > > "ant documentation-lint" is what I'm looking for, thanks. > > Karl > > > On Thu, Apr 26, 2018 at 8:21 AM, Robert Muir <[email protected]> wrote: >> >> I don't understand the turnaround issue, why do the commits need to be >> rushed in? >> There is patch validation recently hooked in to avoid keeping your >> computer busy for 25 minutes. >> If you are not changing third party dependencies or anything "heavy" >> like that you should at least run "ant documentation-lint" from >> lucene/ >> >> >> On Thu, Apr 26, 2018 at 8:02 AM, Karl Wright <[email protected]> wrote: >> > How long does precommit take you to run? For me, it's a good 25 >> > minutes. >> > That really impacts turnaround, which is why I'd love a precommit that >> > looked only at certain things in the local package I'm dealing with. >> > >> > Karl >> > >> > On Thu, Apr 26, 2018 at 6:14 AM, Simon Willnauer >> > <[email protected]> >> > wrote: >> >> >> >> Hey folks, >> >> >> >> I had to fix several glitches lately that are caught by running >> >> precommit. It's a simple step please take the time running `ant clean >> >> precommit` on top-level. >> >> >> >> Thanks, >> >> >> >> Simon >> >> >> >> --------------------------------------------------------------------- >> >> To unsubscribe, e-mail: [email protected] >> >> For additional commands, e-mail: [email protected] >> >> >> > >> >> --------------------------------------------------------------------- >> To unsubscribe, e-mail: [email protected] >> For additional commands, e-mail: [email protected] >> > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
