[jira] [Commented] (SVN-4859) Merge removing a folder with non-inheritable mergeinfo -> E155023: can't set properties: invalid status for updating properties

2020-06-25 Thread Julian Foad (Jira)
[ https://issues.apache.org/jira/browse/SVN-4859?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17145080#comment-17145080 ] Julian Foad commented on SVN-4859: -- Fix committed in r1879192, along with an additional test covering the

[jira] [Commented] (SVN-4859) Merge removing a folder with non-inheritable mergeinfo -> E155023: can't set properties: invalid status for updating properties

2020-06-25 Thread Julian Foad (Jira)
[ https://issues.apache.org/jira/browse/SVN-4859?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17145074#comment-17145074 ] Julian Foad commented on SVN-4859: -- Setting the 'scheduled_for_deletion' flag does not seem to be a good

[jira] [Commented] (SVN-4859) Merge removing a folder with non-inheritable mergeinfo -> E155023: can't set properties: invalid status for updating properties

2020-06-25 Thread Julian Foad (Jira)
[ https://issues.apache.org/jira/browse/SVN-4859?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17144816#comment-17144816 ] Julian Foad commented on SVN-4859: -- Debugging progress: The merge function remove_absent_children() looks

[jira] [Commented] (SVN-4854) a problem of svnmucc mkdir

2020-06-25 Thread Daniel Shahaf (Jira)
[ https://issues.apache.org/jira/browse/SVN-4854?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17144815#comment-17144815 ] Daniel Shahaf commented on SVN-4854: The first example has already been changed in 1.14.x@HEAD (merged

[jira] [Commented] (SVN-4854) a problem of svnmucc mkdir

2020-06-25 Thread Julian Foad (Jira)
[ https://issues.apache.org/jira/browse/SVN-4854?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17144789#comment-17144789 ] Julian Foad commented on SVN-4854: -- The order of operations matters, by design. svnmucc 1.8.15 succeeding