My gitignore file looks like this:

```
# Ignore bundler config.
 /.bundle

# Ignore all logfiles and tempfiles.
/log/*
!/log/.keep
/tmp
coverage/
public/system/
.DS_Store
.env
logfile
development.log

```

For whatever reason I keep ending up with my development.log file present in my commits and in pull requests. Right now I have an open pull request with the full development.log file present. How do I remove it?

I've tried the following:

1. git reset HEAD^ app/log/development.log
2. git commit --amend --no-edit
3. git push

End up with The current branch resource has no upstream branch. To push the current branch set the remote as upstream, use git push --set-upstream origin resource. I do that and then I check my PR and the file is still there because clearly it's a no-edit. 

I've also tried

1. git log, found the commit with the file
2. git reset --soft commit
3. git push

The problem here is that the file is present locally, and should be, but I want it stripped from the PR.

How do I remove a file from a pull request but not remove it locally?