I made some changes and run

git pull

on the efabless platform, it's been some time and the message

"Your workspace is being updated. You will be notified when completed"

is still up. Is there an issue with the pull request? Anyone seen the same behavior?