[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: please push mpi-defaults tags, etc



On Tue, Aug 29, 2017 at 03:02:57PM +0200, Mattia Rizzolo wrote:
> Also, to prevent further missings like these, I'd like to share you a
> recent git configuration that always push tags for commits you are
> pushing:
>     push.followTags = true

I added this into my ~/.gitconfig but this did not pushed tags
automatically.

Kind regards

       Andreas.

-- 
http://fam-tille.de


Reply to: