> As far as I can recall 'git pull' was always done as a normal user.
> Note the timestamp on the folders, which predates 8.5.beta4.
> And this issue did not manifest itself then. But going forward,
> how to correct things?
Change to your SAGE_ROOT directory and run this as a normal user
$ sudo chown -v -R $(id -u):$(id -g) .
to set the owner and group of SAGE_ROOT (and recursively all
the included files and directories) to your user and your group.
--
You received this message because you are subscribed to the Google Groups
"sage-release" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-release+unsubscr...@googlegroups.com.
To post to this group, send email to sage-release@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-release.
For more options, visit https://groups.google.com/d/optout.
