+[2020-03-04T15:43:41Z]lucsJust need to see now what membership entails. +[2020-03-04T19:15:41Z]cahoots_hi, i want to paste a large code block into a comment on a PR. however, i don't want it to take up a lot of vertical room, i just want it to have a small scrollable area. how can i do this? +[2020-03-04T19:20:40Z]Dougie187You could always put it in a gist, and link to it in the PR. +[2020-03-04T21:05:29Z]kreyrenmy workflow is using `uses: docker://debian:latest` but any `run:` under are running on `run-as` -> how do i make it to use docker? +[2020-03-04T21:14:44Z]kreyrensolved by using `container:`
How can I tell for example whether I have push permissions to the repo (other than trying to push)?
+[2020-03-05T08:03:00Z]kreyrenHelp-wanted: https://github.com/actions/checkout/issues/175 +[2020-03-05T09:40:00Z]ajnrHi, I am facing a problem to upload document on github site. eventhough I dont have the large file name embeddings_100_vector_15_winSize.txt with the filesize 122.06 MB in my local machine, while giving the push command it is displaying the same. Please help me to upload the local content in the remote site. I am getting the following error: https://pastebin.com/RGrBAJaf please help me +[2020-03-05T09:56:14Z]Solitonajnr: remove the file from history. committing the removal on top does not help. +[2020-03-05T10:03:17Z]ajnrSoliton, how to do that, please help, i manually removed that file but it is showing the same remote: error: File assets/pdf/embeddings_100_vector_15_winSize.txt is 122.06 MB; this exceeds GitHub's file size limit of 100.00 MB +[2020-03-05T10:12:47Z]ajnrSoliton, may i know the command to remove file from history