paparazzi-devel
[Top][All Lists]
Advanced

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

[Paparazzi-devel] git repository: master is default branch now


From: Felix Ruess
Subject: [Paparazzi-devel] git repository: master is default branch now
Date: Fri, 3 May 2013 17:43:43 +0200

Hi all,

to ease development the master branch (our development branch) is now the default branch when you initially clone the repository.
Pull requests are now for master by default and closing issues from commits actually works.

The instructions on the wiki already tell you to either explicitly checkout a stable branch (like v4.2) or master anyway, so if these were followed there is no change.
Also if you already have a clone, nothing changes for you.

Cheers, Felix

reply via email to

[Prev in Thread] Current Thread [Next in Thread]