• #dev 2018-11-20
  • Prev
    Next
  • #indieweb
  • #dev
  • #wordpress
  • #meta
  • #stream
  • #microformats
  • #known
  • #events
#dev ≡
  • ←
  • →
2018-11-20 UTC
# 10:20
jeremycherfas
Noobish question re git. If I am doing stuff on a dev branch, do I need to push to origin/dev or is it ok to just merge into master and then push that to origin/master?