+[5 years ago]ajrs hey I git push origin master on git but github doesn't show my new file +[5 years ago]ajrsnever minud +[5 years ago]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 ... +[5 years ago]paul424naah mine English , +[5 years ago]paul424but do you get of what I am trying to say ?
+[5 years ago]eggbeanCan github actions trigger when there are changes in repositories which I do not own or are a contributer to? +[5 years ago]cavemanhi +[5 years ago]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? +[5 years ago]cavemanspecifically this one: https://github.com/i3/i3/pull/3859 +[5 years ago]R2robotprobably a personal/project preference