bug#39195: guix pull switching between profiles/per-user and profiles/default

[zimoun]

Hi Ludo,

On Mon, 20 Jan 2020 at 16:46, Ludovic Courtès <address@hidden> wrote:

> Good to hear.  I guess that’s another reason why we should push a new
> release.

I even propose that Guix bumps the minor version each time
core-updates or staging is merged. :-)
Zero cost for us to bump the minor version. And the plus are:

 - a bit easier to navigate; because there more tags in the repo ;-)
 - non rolling release users expect version numbering; other said
current Debian or Ubuntu users are "afraid" to "pull" and be in
"unstable", so they jump only from version to version.

We could add a policy about the bumping the minor version.

What do you think?


Cheers,
simon