On 01/06/2016 10:20 PM, Assaf Gordon wrote:
> I believe "git gc" runs on all git repositories on savannah on the 4th of
> every month.
good to know, thanks!
Have a nice day,
Berny
On 01/06/2016 03:50 PM, Bernhard Voelker wrote:
[...]
maybe someone could run "git gc" on the server to remove the 21 then-
unreferenced commits.
I believe "git gc" runs on all git repositories on savannah on the 4th of every
month.
- Assaf
(for reference, the relevant files are
vcs.sv.gnu.
On 01/05/2016 11:25 PM, James Youngman wrote:
> 2) Proposed arrangement for the future
>
> a) Future of "master": continue to use it for development, but also
> cut "stable" releases directly from here. Abandon the use of
> "stable" branches. Instead, develop on master and cut stable releases
>
On 01/05/2016 06:10 PM, James Youngman wrote:
> Other than this, the change seems good to me with
> UPDATE_COPYRIGHT_USE_INTERVALS=1.
Thanks, pushed with that change.
Have a nice day,
Berny
On Tuesday, January 05, 2016 17:28:03 James Youngman wrote:
> On Tue, Jan 5, 2016 at 1:31 PM, Kamil Dudka wrote:
> > On Monday 04 January 2016 15:17:24 James Youngman wrote:
> >> c) I'd like input from the other committers and from the principal
> >> downstream consumers (e.g. Andreas, Kamil) befo
