+[2020-02-28T10:16:02Z]ajrs hey I git push origin master on git but github doesn't show my new file +[2020-02-28T10:19:50Z]ajrsnever minud +[2020-02-28T13:07:10Z]paul424Hello, hello, I work on opendungeons game , and the question is can I have a base of pull request, which ISN't merged in yet ? For example there is code-polish branch waiting for pull request, and from it I have closeToWall3 branch which should be rised to pull request .... When I create pull request I only get a base 'development' or other branches of our main repository .. no code-polish ... +[2020-02-28T13:11:38Z]paul424naah mine English , +[2020-02-28T13:11:45Z]paul424but do you get of what I am trying to say ?
+[2020-02-29T12:44:26Z]eggbeanCan github actions trigger when there are changes in repositories which I do not own or are a contributer to? +[2020-02-29T12:49:58Z]cavemanhi +[2020-02-29T12:51:13Z]cavemani have a pr open in github. should i update the 1st message as i update my commit? or are people expected to read throughout the history of the pr to see that it has evolved? +[2020-02-29T12:51:26Z]cavemanspecifically this one: https://github.com/i3/i3/pull/3859 +[2020-02-29T14:22:47Z]R2robotprobably a personal/project preference