Subject: [bug#60042] Julia dependency on Git

From: Leo Famulari <[email-masked]>
Date: Tue, 3 Jan 2023 12:59:36 -0500

On Fri, Dec 30, 2022 at 02:15:29PM +0100, zimoun wrote:
> Therefore, to avoid the confusion I would suggest to use /pinned instead
> of /fixed for this stable meaning.  Hence, 4 renaming.  WDYT?

I agree we should improve this confusing situation.

An alternative approach would be to replace meaning #2 with /grafted

I don't have a preference either way.