+ [5 years ago] ajrs hey I git push origin master on git but github doesn't show my new file
+ [5 years ago] ajrs never minud
+ [5 years ago] 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 ...
+ [5 years ago] paul424 naah mine English ,
+ [5 years ago] paul424 but do you get of what I am trying to say ?

message no. 177372

Posted by ajrs in #github at 2020-02-28T10:19:50Z

never minud
+ [5 years ago] eggbean Can github actions trigger when there are changes in repositories which I do not own or are a contributer to?
+ [5 years ago] 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?
+ [5 years ago] caveman specifically this one: https://github.com/i3/i3/pull/3859
+ [5 years ago] R2robot probably a personal/project preference