Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add commit id and timestamp #200

Open
wants to merge 49 commits into
base: master
Choose a base branch
from
Open

Conversation

jonasmalacofilho
Copy link
Contributor

@jonasmalacofilho jonasmalacofilho commented Jul 14, 2017

Related to: #54, #55
Imported from: jonasmalacofilho#1


Checklist:

  • commit #
  • commit Date
  • current Branch
  • current PR?
  • current version (tag)
  • port all this to TeX as well (assigned to @jonasmalacofilho)
  • get version info from the current repository, not the one used to compile manu

lehonma and others added 8 commits June 8, 2017 18:58
Changed Version from haxelib to my fork
Added .vscode folder on .gitignore
Member to always set GH_USER, BASE_BRANCH & PULL_REQUEST envs!
craice and others added 15 commits July 17, 2017 10:43
from craice/css-DTitle: CSS: DTitle
from craice/guide-27-adjustment-double-item: guide - chapter 27 - double \item
This uses Google Custom Search Engine (Google CSE).

from craice/search: 42 (part 3)  
closes ITDP#145
Notes:

 - it seems to be a very minor issue with tink_template
 - you might also need to `hmm clean && hmm install` to update
 `tink_macro` (indirect dependency)
@lehonma
Copy link
Collaborator

lehonma commented Aug 15, 2017

Should this be merged? Or do I have do implement commit TAG?
And honestly, I don't think the PDF should have commit date + hash (this should be a printable (aka stable version)

Needs robrt to build, so don't blame me if it fails =P
Tks jonas
commit 55fb58bc2603cb5e088caf35406757c179327cc9
Author: lehonma <[email protected]>
Date:   Thu Aug 17 18:07:18 2017 -0300

    Tag working

commit 8b856d3
Author: lehonma <[email protected]>
Date:   Thu Aug 17 17:54:11 2017 -0300

    Errrrrr

commit 280d3a7
Author: lehonma <[email protected]>
Date:   Thu Aug 17 17:48:50 2017 -0300

    Errrrr

commit 1af0afe
Author: lehonma <[email protected]>
Date:   Thu Aug 17 17:25:20 2017 -0300

    Errrr

commit fb86edb
Author: lehonma <[email protected]>
Date:   Thu Aug 17 17:02:46 2017 -0300

    Err

commit 59280a9
Author: lehonma <[email protected]>
Date:   Thu Aug 17 16:47:01 2017 -0300

    Err

commit 80da5d6
Author: lehonma <[email protected]>
Date:   Thu Aug 17 16:33:07 2017 -0300

    Er

commit 1733d86
Author: lehonma <[email protected]>
Date:   Thu Aug 17 16:00:37 2017 -0300

    Er

commit 0a5eb48
Author: lehonma <[email protected]>
Date:   Thu Aug 17 15:46:14 2017 -0300

    More debug

commit 7818661
Author: lehonma <[email protected]>
Date:   Thu Aug 17 15:31:00 2017 -0300

    Debugging

commit 2068020
Author: lehonma <[email protected]>
Date:   Thu Aug 17 15:18:48 2017 -0300

    Fixes

commit 73fcbb9
Author: lehonma <[email protected]>
Date:   Thu Aug 17 15:00:02 2017 -0300

    Debug
@lehonma
Copy link
Collaborator

lehonma commented Aug 17, 2017

Added Tags!
Reminder: The Guide's admin should add the tag by hand ( with git tag -a vX.Y and git push origin vX.Y... git push --tags is not recomended b/c it pushes ALL tags ( --follow-tags option pushes all anotated tags))

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants