title: Uploading SQL file to GitHub repository
body: <p>I downloaded an SQL file from my Amazon web server, and intend to push it to the GitHub repository for my project. What is all the information in that file I should delete before making the push? (Bear in mind that it's a public repository.)</p>
  
  <p>In the file, there are two things that I am worrying about: the host, and the login name, via the definer, which is of the form specified in the comments. (It won't render right here.)</p>
  
  <p>Am I right to worry about either of them? If so, how to resolve these security problems?</p>