+ [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] ajrs never minud
+ [2020-02-28T13:07:10Z] paul424 Hello, 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] paul424 naah mine English ,
+ [2020-02-28T13:11:45Z] paul424 but do you get of what I am trying to say ?

message no. 177373

Posted by paul424 in #github at 2020-02-28T13:07:10Z

Hello, 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-29T12:44:26Z] eggbean Can github actions trigger when there are changes in repositories which I do not own or are a contributer to?
+ [2020-02-29T12:51:13Z] caveman i 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] caveman specifically this one: https://github.com/i3/i3/pull/3859
+ [2020-02-29T14:22:47Z] R2robot probably a personal/project preference