[Savannah-hackers] Re: mail aliases on savannah.gnu.org

[Joel N. Weber II]

   On Sun, Feb 18, 2001 at 10:49:37PM +0100, Loic Dachary wrote:

   >        At first I did not realize that it was needed to have an true
   > alias file mapping each savannah login account to the real mail
   > address, even if this is not an address visible to the outside
   > world. The recent mail notification problems told me otherwise ;-)
   >      
   >        It seems fairly harmless to me to re-create an alias file that
   > is included in /etc/aliases each time a user create himself an account
   > or changes its e-mail address. We are dealing with a reasonable number
   > of accounts (~160 at present). 

   The problem is that the emails come from @gnu.org.  This needs be changed 
   to @savannah.gnu.org for this theory to work.

It might also be necesssary to change DNS.

Is it the case that we know that @gnu.org and @savannah.gnu.org need
to be seprate?