{"action":"created","issue":{"url":"https://api.github.com/repos/sagemathinc/cocalc/issues/3188","repository_url":"https://api.github.com/repos/sagemathinc/cocalc","labels_url":"https://api.github.com/repos/sagemathinc/cocalc/issues/3188/labels{/name}","comments_url":"https://api.github.com/repos/sagemathinc/cocalc/issues/3188/comments","events_url":"https://api.github.com/repos/sagemathinc/cocalc/issues/3188/events","html_url":"https://github.com/sagemathinc/cocalc/issues/3188","id":360878445,"node_id":"MDU6SXNzdWUzNjA4Nzg0NDU=","number":3188,"title":"ensure that frontend editors update when the file is manually changed on the backend (e.g., rmarkdown)","user":{"login":"williamstein","id":1276278,"node_id":"MDQ6VXNlcjEyNzYyNzg=","avatar_url":"https://avatars0.githubusercontent.com/u/1276278?v=4","gravatar_id":"","url":"https://api.github.com/users/williamstein","html_url":"https://github.com/williamstein","followers_url":"https://api.github.com/users/williamstein/followers","following_url":"https://api.github.com/users/williamstein/following{/other_user}","gists_url":"https://api.github.com/users/williamstein/gists{/gist_id}","starred_url":"https://api.github.com/users/williamstein/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/williamstein/subscriptions","organizations_url":"https://api.github.com/users/williamstein/orgs","repos_url":"https://api.github.com/users/williamstein/repos","events_url":"https://api.github.com/users/williamstein/events{/privacy}","received_events_url":"https://api.github.com/users/williamstein/received_events","type":"User","site_admin":false},"labels":[{"id":189237038,"node_id":"MDU6TGFiZWwxODkyMzcwMzg=","url":"https://api.github.com/repos/sagemathinc/cocalc/labels/I-bug","name":"I-bug","color":"cc0000","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-09-17T13:49:31Z","updated_at":"2018-09-17T13:49:56Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"1. Create an rmd file\r\n2. Change it -- it will update fine\r\n3. Open a terminal\r\n4. Change the rmd file using vim there and save/exit.\r\n5. You'll see the file change, but the preview side doesn't update.\r\n6. Manually edit the file in some trivial way from the UI to get the rmd file to update.  It works.\r\n\r\nInstead, what should happen is either:\r\n\r\n - there is a button to force the update (since editing the file to cause this is ugly).\r\n - (preferred) it just works and updates\r\n"},"comment":{"url":"https://api.github.com/repos/sagemathinc/cocalc/issues/comments/422024072","html_url":"https://github.com/sagemathinc/cocalc/issues/3188#issuecomment-422024072","issue_url":"https://api.github.com/repos/sagemathinc/cocalc/issues/3188","id":422024072,"node_id":"MDEyOklzc3VlQ29tbWVudDQyMjAyNDA3Mg==","user":{"login":"williamstein","id":1276278,"node_id":"MDQ6VXNlcjEyNzYyNzg=","avatar_url":"https://avatars0.githubusercontent.com/u/1276278?v=4","gravatar_id":"","url":"https://api.github.com/users/williamstein","html_url":"https://github.com/williamstein","followers_url":"https://api.github.com/users/williamstein/followers","following_url":"https://api.github.com/users/williamstein/following{/other_user}","gists_url":"https://api.github.com/users/williamstein/gists{/gist_id}","starred_url":"https://api.github.com/users/williamstein/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/williamstein/subscriptions","organizations_url":"https://api.github.com/users/williamstein/orgs","repos_url":"https://api.github.com/users/williamstein/repos","events_url":"https://api.github.com/users/williamstein/events{/privacy}","received_events_url":"https://api.github.com/users/williamstein/received_events","type":"User","site_admin":false},"created_at":"2018-09-17T13:49:56Z","updated_at":"2018-09-17T13:49:56Z","author_association":"CONTRIBUTOR","body":"I hit this bug during this talk: https://youtu.be/G5SIwRinEYk?t=1275"}}
{"actor":{"display_login":"williamstein"}}