Drat, I thought I was pushing to both repos.
Now if I start trying to push to github, I'm afraid of messing it up. But will try to do it minimalistically (I'm using git push --mirror on SF, but worry that that might delete other people's brances on github).
M
On Sun, Jul 16, 2017 at 09:54:55PM +0200, IOhannes m zmölnig wrote:
On 07/16/2017 05:42 PM, Miller Puckette wrote:
odd.. I don't see the commits on the github site's list of commits, but
that's probably because you usually push only to sourceforge, and Dan (or me) sync the sf repo with github.
"git pull" to a cloned repo gets them fine. Latest is:
probably because (one of) your remote(s) for that cloned repo is on sourceforge?
gfmards IOhannes
Pd-dev mailing list Pd-dev@lists.iem.at https://lists.puredata.info/listinfo/pd-dev