General icon indicating copy to clipboard operation
General copied to clipboard

Restore DynamicalBilliards 3.5.2, yank it, and modify one of its compat entries

Open DilumAluthge opened this issue 2 years ago • 1 comments

I think it would be nice if we could avoid deleting versions from the registry whenever possible. However, I agree with Kristoffer that we shouldn't have any compat entries in the registry that point to an empty range or invalid range. Therefore, this PR does the following:

  1. Restore DynamicalBilliards 3.5.2 (which was deleted in https://github.com/JuliaRegistries/General/pull/65995)
  2. For DynamicalBilliards 3.5.2 only, change the MuladdMacro compat entry from MuladdMacro = "0.5.2 - 0.2" to MuladdMacro = "0.2" (which is equivalent to MuladdMacro = "0.2 - 0.2")
  3. Yank DynamicalBilliards 3.5.2

DilumAluthge avatar Aug 10 '22 20:08 DilumAluthge

This has literally been uninstallable for many years so I don't see what difference this will do in practice.

KristofferC avatar Aug 11 '22 05:08 KristofferC

There is no difference in practice.

However, we try really hard to avoid ever deleting versions from the General registry. I think that's a good policy, and it would be nice if we could adhere to it as much as possible.

In this case, by merging this PR, we are able to fix the underlying issue (empty compat ranges) without deleting versions from the registry.

DilumAluthge avatar Aug 26 '22 04:08 DilumAluthge

This pull request has been inactive for 30 days and will be automatically closed 7 days from now. If this pull request should not be closed, please either (1) fix the AutoMerge issues and re-trigger Registrator, which will automatically update the pull request, or (2) post a comment explaining why you would like this pull request to be manually merged. [noblock]

github-actions[bot] avatar Sep 29 '22 13:09 github-actions[bot]

This pull request has been inactive for more than 30 days and has automatically been closed. Feel free to register your package or version again once you fix the AutoMerge issues. [noblock]

github-actions[bot] avatar Oct 06 '22 13:10 github-actions[bot]