![selection_145](https://cloud.githubusercontent.com/assets/3821217/22738305/f05ea8ce-ee17-11...)
What's wrong here? I expected the file to be auto reloaded now.
Did you add the option yourself? The pull request hasn't been merged yet #1246
Ok, I decided to start my own small investigationhere.
``` $ cd geany $ git pull Already up-to-date. $ ag reload_clean_doc_on_file_change
```
The substring `reload_clean_doc_on_file_change` is not even in the master branch. Do I need to pull another branch to get this feature? Was the option renamed?
@shiftee, thanks. I thought it was. Probably because of three shiny green bullets "Checks passed", "No conflict detected", "Feature approved".
@shiftee, any suggestion how to checkout your branch? I know this is silly, but I tried all suggestions from Stackoverflow already.
``` $ history 550 git fetch shiftee:auto_reload 551 git fetch origin shiftee:auto_reload 552 git checkout --track origin/shiftee:auto_reload 553 git checkout shiftee:auto_reload 554 git checkout auto_reload 555 git checkout 'shiftee:auto_reload' 556 git checkout --track -b shiftee:auto_reload origin/shiftee:auto_reload 557 git fetch shiftee:auto_reload 558 git fetch 'shiftee:auto_reload' 559 git fetch remote 'shiftee:auto_reload' 560 git fetch origin 'shiftee:auto_reload' ``` Nothing works.
I'm have little to no experience but the following seems to work: `git remote add shiftee https://github.com/shiftee/geany.git git fetch shiftee git checkout shiftee/auto_reload`
@exebook github recommends
``` git checkout -b shiftee-auto_reload master git pull https://github.com/shiftee/geany.git auto_reload ```
as part of the instructions for manual merging, which sadly it doesn't display if you don't have merge access. It doesn't need adding extra remotes for each pull request provider.
#1246 now merged, closing.
Closed #1388.
github-comments@lists.geany.org