mirror of
https://github.com/doctrine/orm.git
synced 2026-03-23 22:42:18 +01:00
DDC-2545: [GH-718] Standardised #3195
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @doctrinebot on GitHub (Jul 4, 2013).
Originally assigned to: @guilhermeblanco on GitHub.
Jira issue originally created by user @doctrinebot:
This issue is created automatically through a Github pull request on behalf of programaths:
Url: https://github.com/doctrine/doctrine2/pull/718
Message:
Standardised a bit the EBNF part so it can be used with external tools. Added a link to a website to generate railroad diagrams (easier to read).
@doctrinebot commented on GitHub (Jul 4, 2013):
Comment created by @doctrinebot:
A related Github Pull-Request [GH-718] was closed:
https://github.com/doctrine/doctrine2/pull/718
@doctrinebot commented on GitHub (Jul 4, 2013):
Comment created by @ocramius:
Looks like the PR was trying to align to non-standard EBNF syntax, erroneously considered the correct one
@doctrinebot commented on GitHub (Jul 4, 2013):
Issue was closed with resolution "Invalid"