Skip to content

Rename DNE -> DoesNotExist#94

Merged
oxinabox merged 2 commits intomasterfrom
npr/rename-dne-doesnotexit
Oct 28, 2019
Merged

Rename DNE -> DoesNotExist#94
oxinabox merged 2 commits intomasterfrom
npr/rename-dne-doesnotexit

Conversation

@nickrobinson251
Copy link
Contributor

@nickrobinson251 nickrobinson251 commented Aug 30, 2019

@willtebbutt
Copy link
Member

I assume that the motivation for this is just that DNE isn't very readable if you don't know what's going on, whereas DoesNotExist is self explanatory?

@nickrobinson251 nickrobinson251 force-pushed the npr/rename-dne-doesnotexit branch from e22e1f0 to 71c23b7 Compare September 21, 2019 10:29
@nickrobinson251 nickrobinson251 force-pushed the npr/rename-dne-doesnotexit branch from 71c23b7 to 575341d Compare October 25, 2019 17:58
@oxinabox
Copy link
Member

I am trying to decide if should release ChainRulesCore.jl v0.4.0
so that this can pass.

@nickrobinson251
Copy link
Contributor Author

I am trying to decide if should release ChainRulesCore.jl v0.4.0

contains some good stuff

@oxinabox
Copy link
Member

good point, releasing

@oxinabox oxinabox force-pushed the npr/rename-dne-doesnotexit branch from dbed8f1 to 3097e66 Compare October 28, 2019 17:23
Copy link
Member

@oxinabox oxinabox left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Requires breaking version bump, if tyhis is actually breaking

@oxinabox oxinabox dismissed their stale review October 28, 2019 17:36

nah is is not breaking

@oxinabox oxinabox merged commit 80de568 into master Oct 28, 2019
@nickrobinson251 nickrobinson251 deleted the npr/rename-dne-doesnotexit branch October 28, 2019 18:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants