[DiscordArchive] we can't, it's to avoid date conflicts... what solution do you suggest?
[DiscordArchive] we can't, it's to avoid date conflicts... what solution do you suggest?
Archived author: Yehonal • Posted: 2017-08-25T11:03:01.607000+00:00
Original source
we can't, it's to avoid date conflicts... what solution do you suggest?
Archived author: Dany • Posted: 2017-08-25T11:03:52.866000+00:00
Original source
I don't know but it just spamming the git history
Archived author: Yehonal • Posted: 2017-08-25T11:32:06.210000+00:00
Original source
our workflow allow both dev and contributors to don't care about file naming or waiting for PR file rename to avoid conflicts or "retroactive dates"...anyway the best approach would be that we could run the import.sh script before merge the PR....but it should be done by the author in the same day of merging
Archived author: Yehonal • Posted: 2017-08-25T11:34:04.704000+00:00
Original source
otherwise we don't have to import the PRs via github, but locally maybe with command line if possible, to squash the sql change too
Archived author: Yehonal • Posted: 2017-08-25T11:34:39.929000+00:00
Original source
dunno if it's possible, i'll check...but if you say "we should put everything under one commit" i suppose that you know that's possible
Archived author: Dany • Posted: 2017-08-25T13:10:13.018000+00:00
Original source
I don't know tbh