If the platform node has not been successfully verified yet, we should allow editing of the git properties.
It's possible the reason it did not verify was because of incorrect values.
If the platform node has not been successfully verified yet, we should allow editing of the git properties.
It's possible the reason it did not verify was because of incorrect values.
Comments
Comment #2
colanThis is set to NR, but there's no patch?
Comment #3
jon pughhmm branch didn't push, stand by
Comment #4
jon pughcolan: See branch 2981281-edit-platform-if-not-verified
I noticed a bug if you use path to docroot, it was appended twice...
We'll have to look out for that.
Comment #5
helmo commentedWorks OK... Merged