Hey all, Can the website point the git repo to github instead of savannah? Or can the savannah repo be kept up to date with the github version? I /beliieve/ -- though might be wrong -- that they are both maintained by sabetts.
I mostly ask because the github version seems to be the version of the two repos that's getting work done on it and it would be nice to be up to date with the various improvements going on in the codebase, such as commit 1003ba9aa1358b3353f92c86ebb2325874dad612. Thanks -E _______________________________________________ Stumpwm-devel mailing list Stumpwm-devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/stumpwm-devel